home *** CD-ROM | disk | FTP | other *** search
open in: 
MacOS 8.1
|
Win98
|
DOS
browse contents |
view JSON data
|
view as text
This file was processed as: LaTeX Document
(document/latex).
| Confidence | Program | Detection | Match Type | Support
|
|---|
| 100%
| dexvert
| LaTeX Document (document/latex)
| magic
| Supported |
| 1%
| dexvert
| Text File (text/txt)
| fallback
| Supported |
| 100%
| file
| LaTeX document text
| default
| |
| 99%
| file
| LaTeX document, ASCII text
| default
| |
| 100%
| checkBytes
| Printable ASCII
| default
| |
| 100%
| perlTextCheck
| Likely Text (Perl)
| default
| |
| 100%
| siegfried
| fmt/281 LaTeX (Subdocument)
| default
| |
| 100%
| detectItEasy
| Format: plain text[LF]
| default (weak)
|
|
hex view+--------+-------------------------+-------------------------+--------+--------+
|00000000| 0a 5c 63 68 61 70 74 65 | 72 7b 4c 69 73 74 73 7d |.\chapte|r{Lists}|
|00000010| 0a 0a 0a 0a 0a 0a 54 68 | 69 73 20 73 65 63 74 69 |......Th|is secti|
|00000020| 6f 6e 20 64 65 73 63 72 | 69 62 65 73 20 72 6f 75 |on descr|ibes rou|
|00000030| 74 69 6e 65 73 20 61 76 | 61 69 6c 61 62 6c 65 20 |tines av|ailable |
|00000040| 66 6f 72 20 63 72 65 61 | 74 69 6e 67 2c 20 65 78 |for crea|ting, ex|
|00000050| 61 6d 69 6e 69 6e 67 2c | 0a 61 6e 64 20 6f 74 68 |amining,|.and oth|
|00000060| 65 72 77 69 73 65 20 6d | 61 6e 69 70 75 6c 61 74 |erwise m|anipulat|
|00000070| 69 6e 67 20 6c 69 73 74 | 20 73 74 72 75 63 74 75 |ing list| structu|
|00000080| 72 65 2e 0a 0a 0a 5c 73 | 65 63 74 69 6f 6e 7b 50 |re....\s|ection{P|
|00000090| 72 65 64 69 63 61 74 65 | 73 7d 0a 0a 0a 0a 5c 69 |redicate|s}....\i|
|000000a0| 6e 64 65 78 7b 4e 55 4c | 4c 3f 40 7b 5c 74 74 20 |ndex{NUL|L?@{\tt |
|000000b0| 4e 55 4c 4c 3f 7d 7d 0a | 7b 5c 6d 62 6f 78 20 7b |NULL?}}.|{\mbox {|
|000000c0| 5c 74 74 20 28 4e 55 4c | 4c 3f 20 7b 5c 69 74 20 |\tt (NUL|L? {\it |
|000000d0| 6f 62 6a 65 63 74 5c 2f | 7d 29 20 24 5c 6c 6f 6e |object\/|}) $\lon|
|000000e0| 67 72 69 67 68 74 61 72 | 72 6f 77 24 5c 20 20 7b |grightar|row$\ {|
|000000f0| 5c 69 74 20 62 6f 6f 6c | 65 61 6e 5c 2f 7d 7d 7d |\it bool|ean\/}}}|
|00000100| 0a 5c 68 66 69 6c 6c 20 | 54 79 70 65 20 70 72 65 |.\hfill |Type pre|
|00000110| 64 69 63 61 74 65 0a 0a | 5c 62 65 67 69 6e 7b 69 |dicate..|\begin{i|
|00000120| 6e 73 65 74 7d 7b 7d 0a | 52 65 74 75 72 6e 73 20 |nset}{}.|Returns |
|00000130| 74 72 75 65 20 69 66 20 | 7b 5c 69 74 20 6f 62 6a |true if |{\it obj|
|00000140| 65 63 74 5c 2f 7d 20 69 | 73 20 74 68 65 20 65 6d |ect\/} i|s the em|
|00000150| 70 74 79 20 6c 69 73 74 | 20 28 6e 75 6c 6c 29 2e |pty list| (null).|
|00000160| 20 20 53 69 6e 63 65 20 | 74 68 65 20 65 6d 70 74 | Since |the empt|
|00000170| 79 0a 6c 69 73 74 20 69 | 73 20 61 6c 73 6f 20 75 |y.list i|s also u|
|00000180| 73 65 64 20 66 6f 72 20 | 74 68 65 20 6c 6f 67 69 |sed for |the logi|
|00000190| 63 61 6c 20 66 61 6c 73 | 65 20 76 61 6c 75 65 2c |cal fals|e value,|
|000001a0| 20 61 6e 64 20 6e 6f 6e | 2d 66 61 6c 73 65 20 6f | and non|-false o|
|000001b0| 62 6a 65 63 74 73 20 61 | 72 65 0a 63 6f 6e 73 69 |bjects a|re.consi|
|000001c0| 64 65 72 65 64 20 74 6f | 20 62 65 20 74 72 75 65 |dered to| be true|
|000001d0| 2c 20 69 74 20 74 75 72 | 6e 73 20 6f 75 74 20 74 |, it tur|ns out t|
|000001e0| 68 61 74 20 7b 5c 74 74 | 20 4e 55 4c 4c 3f 7d 20 |hat {\tt| NULL?} |
|000001f0| 69 73 20 74 68 65 20 73 | 61 6d 65 20 61 73 20 7b |is the s|ame as {|
|00000200| 5c 74 74 20 4e 4f 54 7d | 2e 0a 5c 65 6e 64 7b 69 |\tt NOT}|..\end{i|
|00000210| 6e 73 65 74 7d 20 0a 0a | 5c 69 6e 64 65 78 7b 50 |nset} ..|\index{P|
|00000220| 41 49 52 3f 40 7b 5c 74 | 74 20 50 41 49 52 3f 7d |AIR?@{\t|t PAIR?}|
|00000230| 7d 0a 7b 5c 6d 62 6f 78 | 20 7b 5c 74 74 20 28 50 |}.{\mbox| {\tt (P|
|00000240| 41 49 52 3f 20 7b 5c 69 | 74 20 6f 62 6a 65 63 74 |AIR? {\i|t object|
|00000250| 5c 2f 7d 29 20 24 5c 6c | 6f 6e 67 72 69 67 68 74 |\/}) $\l|ongright|
|00000260| 61 72 72 6f 77 24 5c 20 | 20 7b 5c 69 74 20 62 6f |arrow$\ | {\it bo|
|00000270| 6f 6c 65 61 6e 5c 2f 7d | 7d 7d 0a 5c 68 66 69 6c |olean\/}|}}.\hfil|
|00000280| 6c 20 54 79 70 65 20 70 | 72 65 64 69 63 61 74 65 |l Type p|redicate|
|00000290| 0a 0a 5c 62 65 67 69 6e | 7b 69 6e 73 65 74 7d 7b |..\begin|{inset}{|
|000002a0| 7d 0a 52 65 74 75 72 6e | 73 20 74 72 75 65 20 69 |}.Return|s true i|
|000002b0| 66 20 7b 5c 69 74 20 6f | 62 6a 65 63 74 5c 2f 7d |f {\it o|bject\/}|
|000002c0| 20 69 73 20 61 20 70 61 | 69 72 2e 0a 5c 62 65 67 | is a pa|ir..\beg|
|000002d0| 69 6e 7b 63 6f 64 65 78 | 65 6e 76 7d 0a 20 20 20 |in{codex|env}. |
|000002e0| 20 5c 62 65 67 69 6e 7b | 74 61 62 75 6c 61 72 7d | \begin{|tabular}|
|000002f0| 7b 6c 6c 6c 7d 0a 28 50 | 41 49 52 3f 20 27 28 41 |{lll}.(P|AIR? '(A|
|00000300| 20 42 20 43 29 29 20 20 | 20 26 24 5c 4c 6f 6e 67 | B C)) | &$\Long|
|00000310| 72 69 67 68 74 61 72 72 | 6f 77 24 5c 20 26 20 20 |rightarr|ow$\ & |
|00000320| 7b 5c 69 74 20 74 72 75 | 65 7d 20 5c 5c 0a 28 50 |{\it tru|e} \\.(P|
|00000330| 41 49 52 3f 20 27 28 41 | 20 2e 20 31 35 29 29 20 |AIR? '(A| . 15)) |
|00000340| 20 26 24 5c 4c 6f 6e 67 | 72 69 67 68 74 61 72 72 | &$\Long|rightarr|
|00000350| 6f 77 24 5c 20 26 20 20 | 7b 5c 69 74 20 74 72 75 |ow$\ & |{\it tru|
|00000360| 65 7d 20 5c 5c 0a 28 50 | 41 49 52 3f 20 27 28 29 |e} \\.(P|AIR? '()|
|00000370| 29 20 20 20 20 20 20 20 | 20 26 24 5c 4c 6f 6e 67 |) | &$\Long|
|00000380| 72 69 67 68 74 61 72 72 | 6f 77 24 5c 20 26 20 20 |rightarr|ow$\ & |
|00000390| 7b 5c 69 74 20 66 61 6c | 73 65 7d 20 5c 5c 0a 28 |{\it fal|se} \\.(|
|000003a0| 50 41 49 52 3f 20 27 46 | 4f 4f 29 20 20 20 20 20 |PAIR? 'F|OO) |
|000003b0| 20 20 26 24 5c 4c 6f 6e | 67 72 69 67 68 74 61 72 | &$\Lon|grightar|
|000003c0| 72 6f 77 24 5c 20 26 20 | 20 7b 5c 69 74 20 66 61 |row$\ & | {\it fa|
|000003d0| 6c 73 65 7d 0a 5c 65 6e | 64 7b 74 61 62 75 6c 61 |lse}.\en|d{tabula|
|000003e0| 72 7d 0a 20 20 20 20 5c | 65 6e 64 7b 63 6f 64 65 |r}. \|end{code|
|000003f0| 78 65 6e 76 7d 0a 5c 65 | 6e 64 7b 69 6e 73 65 74 |xenv}.\e|nd{inset|
|00000400| 7d 20 0a 0a 0a 5c 69 6e | 64 65 78 7b 41 54 4f 4d |} ...\in|dex{ATOM|
|00000410| 3f 40 7b 5c 74 74 20 41 | 54 4f 4d 3f 7d 7d 0a 7b |?@{\tt A|TOM?}}.{|
|00000420| 5c 6d 62 6f 78 20 7b 5c | 74 74 20 28 41 54 4f 4d |\mbox {\|tt (ATOM|
|00000430| 3f 20 7b 5c 69 74 20 6f | 62 6a 65 63 74 5c 2f 7d |? {\it o|bject\/}|
|00000440| 29 20 24 5c 6c 6f 6e 67 | 72 69 67 68 74 61 72 72 |) $\long|rightarr|
|00000450| 6f 77 24 5c 20 20 7b 5c | 69 74 20 62 6f 6f 6c 65 |ow$\ {\|it boole|
|00000460| 61 6e 5c 2f 7d 7d 7d 0a | 5c 68 66 69 6c 6c 20 54 |an\/}}}.|\hfill T|
|00000470| 79 70 65 20 70 72 65 64 | 69 63 61 74 65 0a 0a 5c |ype pred|icate..\|
|00000480| 62 65 67 69 6e 7b 69 6e | 73 65 74 7d 7b 7d 0a 52 |begin{in|set}{}.R|
|00000490| 65 74 75 72 6e 73 20 74 | 72 75 65 20 69 66 20 7b |eturns t|rue if {|
|000004a0| 5c 69 74 20 6f 62 6a 65 | 63 74 5c 2f 7d 20 69 73 |\it obje|ct\/} is|
|000004b0| 20 61 6e 20 61 74 6f 6d | 2e 0a 41 6e 20 61 74 6f | an atom|..An ato|
|000004c0| 6d 20 69 73 20 61 6e 79 | 20 6f 62 6a 65 63 74 20 |m is any| object |
|000004d0| 74 68 61 74 20 69 73 6e | 27 74 20 61 20 70 61 69 |that isn|'t a pai|
|000004e0| 72 2e 0a 5c 62 65 67 69 | 6e 7b 63 6f 64 65 78 65 |r..\begi|n{codexe|
|000004f0| 6e 76 7d 0a 28 41 54 4f | 4d 3f 20 7b 5c 69 74 20 |nv}.(ATO|M? {\it |
|00000500| 6f 62 6a 65 63 74 5c 2f | 7d 29 20 20 24 5c 65 71 |object\/|}) $\eq|
|00000510| 75 69 76 24 20 20 28 4e | 4f 54 20 28 50 41 49 52 |uiv$ (N|OT (PAIR|
|00000520| 3f 20 7b 5c 69 74 20 6f | 62 6a 65 63 74 5c 2f 7d |? {\it o|bject\/}|
|00000530| 29 29 0a 5c 65 6e 64 7b | 63 6f 64 65 78 65 6e 76 |)).\end{|codexenv|
|00000540| 7d 0a 5c 65 6e 64 7b 69 | 6e 73 65 74 7d 20 0a 0a |}.\end{i|nset} ..|
|00000550| 0a 5c 69 6e 64 65 78 7b | 4c 49 53 54 3f 40 7b 5c |.\index{|LIST?@{\|
|00000560| 74 74 20 4c 49 53 54 3f | 7d 7d 0a 7b 5c 6d 62 6f |tt LIST?|}}.{\mbo|
|00000570| 78 20 7b 5c 74 74 20 28 | 4c 49 53 54 3f 20 7b 5c |x {\tt (|LIST? {\|
|00000580| 69 74 20 6f 62 6a 65 63 | 74 5c 2f 7d 29 20 24 5c |it objec|t\/}) $\|
|00000590| 6c 6f 6e 67 72 69 67 68 | 74 61 72 72 6f 77 24 5c |longrigh|tarrow$\|
|000005a0| 20 20 7b 5c 69 74 20 62 | 6f 6f 6c 65 61 6e 5c 2f | {\it b|oolean\/|
|000005b0| 7d 7d 7d 0a 5c 68 66 69 | 6c 6c 20 54 79 70 65 20 |}}}.\hfi|ll Type |
|000005c0| 70 72 65 64 69 63 61 74 | 65 0a 0a 5c 62 65 67 69 |predicat|e..\begi|
|000005d0| 6e 7b 69 6e 73 65 74 7d | 7b 7d 0a 52 65 74 75 72 |n{inset}|{}.Retur|
|000005e0| 6e 73 20 74 72 75 65 20 | 69 66 20 7b 5c 69 74 20 |ns true |if {\it |
|000005f0| 6f 62 6a 65 63 74 5c 2f | 7d 20 69 73 20 65 69 74 |object\/|} is eit|
|00000600| 68 65 72 20 61 20 70 61 | 69 72 20 6f 72 20 74 68 |her a pa|ir or th|
|00000610| 65 20 65 6d 70 74 79 20 | 6c 69 73 74 2e 0a 5c 62 |e empty |list..\b|
|00000620| 65 67 69 6e 7b 63 6f 64 | 65 78 65 6e 76 7d 0a 20 |egin{cod|exenv}. |
|00000630| 20 20 20 5c 62 65 67 69 | 6e 7b 74 61 62 75 6c 61 | \begi|n{tabula|
|00000640| 72 7d 7b 6c 6c 6c 7d 0a | 28 4c 49 53 54 3f 20 27 |r}{lll}.|(LIST? '|
|00000650| 28 41 20 42 20 43 29 29 | 20 20 20 26 24 5c 4c 6f |(A B C))| &$\Lo|
|00000660| 6e 67 72 69 67 68 74 61 | 72 72 6f 77 24 5c 20 26 |ngrighta|rrow$\ &|
|00000670| 20 20 7b 5c 69 74 20 74 | 72 75 65 7d 20 5c 5c 0a | {\it t|rue} \\.|
|00000680| 28 4c 49 53 54 3f 20 27 | 28 41 20 2e 20 31 35 29 |(LIST? '|(A . 15)|
|00000690| 29 20 20 26 24 5c 4c 6f | 6e 67 72 69 67 68 74 61 |) &$\Lo|ngrighta|
|000006a0| 72 72 6f 77 24 5c 20 26 | 20 20 7b 5c 69 74 20 74 |rrow$\ &| {\it t|
|000006b0| 72 75 65 7d 20 5c 5c 0a | 28 4c 49 53 54 3f 20 27 |rue} \\.|(LIST? '|
|000006c0| 28 29 29 20 20 20 20 20 | 20 20 20 26 24 5c 4c 6f |()) | &$\Lo|
|000006d0| 6e 67 72 69 67 68 74 61 | 72 72 6f 77 24 5c 20 26 |ngrighta|rrow$\ &|
|000006e0| 20 20 7b 5c 69 74 20 74 | 72 75 65 7d 20 5c 5c 0a | {\it t|rue} \\.|
|000006f0| 28 4c 49 53 54 3f 20 27 | 46 4f 4f 29 20 20 20 20 |(LIST? '|FOO) |
|00000700| 20 20 20 26 24 5c 4c 6f | 6e 67 72 69 67 68 74 61 | &$\Lo|ngrighta|
|00000710| 72 72 6f 77 24 5c 20 26 | 20 20 7b 5c 69 74 20 66 |rrow$\ &| {\it f|
|00000720| 61 6c 73 65 7d 0a 5c 65 | 6e 64 7b 74 61 62 75 6c |alse}.\e|nd{tabul|
|00000730| 61 72 7d 0a 20 20 20 20 | 5c 65 6e 64 7b 63 6f 64 |ar}. |\end{cod|
|00000740| 65 78 65 6e 76 7d 0a 5c | 65 6e 64 7b 69 6e 73 65 |exenv}.\|end{inse|
|00000750| 74 7d 20 0a 0a 0a 5c 69 | 6e 64 65 78 7b 50 52 4f |t} ...\i|ndex{PRO|
|00000760| 50 45 52 2d 4c 49 53 54 | 3f 40 7b 5c 74 74 20 50 |PER-LIST|?@{\tt P|
|00000770| 52 4f 50 45 52 2d 4c 49 | 53 54 3f 7d 7d 0a 7b 5c |ROPER-LI|ST?}}.{\|
|00000780| 6d 62 6f 78 20 7b 5c 74 | 74 20 28 50 52 4f 50 45 |mbox {\t|t (PROPE|
|00000790| 52 2d 4c 49 53 54 3f 20 | 7b 5c 69 74 20 6f 62 6a |R-LIST? |{\it obj|
|000007a0| 65 63 74 5c 2f 7d 29 20 | 24 5c 6c 6f 6e 67 72 69 |ect\/}) |$\longri|
|000007b0| 67 68 74 61 72 72 6f 77 | 24 5c 20 20 7b 5c 69 74 |ghtarrow|$\ {\it|
|000007c0| 20 62 6f 6f 6c 65 61 6e | 5c 2f 7d 7d 7d 0a 5c 68 | boolean|\/}}}.\h|
|000007d0| 66 69 6c 6c 20 54 79 70 | 65 20 70 72 65 64 69 63 |fill Typ|e predic|
|000007e0| 61 74 65 0a 0a 5c 62 65 | 67 69 6e 7b 69 6e 73 65 |ate..\be|gin{inse|
|000007f0| 74 7d 7b 7d 0a 52 65 74 | 75 72 6e 73 20 74 72 75 |t}{}.Ret|urns tru|
|00000800| 65 20 69 66 20 7b 5c 69 | 74 20 6c 69 73 74 5c 2f |e if {\i|t list\/|
|00000810| 7d 20 69 73 20 61 20 70 | 72 6f 70 65 72 6c 79 20 |} is a p|roperly |
|00000820| 66 6f 72 6d 65 64 20 6c | 69 73 74 2c 20 69 2e 65 |formed l|ist, i.e|
|00000830| 2e 2c 20 69 66 20 69 74 | 73 20 6c 61 73 74 0a 70 |., if it|s last.p|
|00000840| 61 69 72 27 73 20 63 64 | 72 20 69 73 20 6e 75 6c |air's cd|r is nul|
|00000850| 6c 2e 0a 5c 62 65 67 69 | 6e 7b 63 6f 64 65 78 65 |l..\begi|n{codexe|
|00000860| 6e 76 7d 0a 20 20 20 20 | 5c 62 65 67 69 6e 7b 74 |nv}. |\begin{t|
|00000870| 61 62 75 6c 61 72 7d 7b | 6c 6c 6c 7d 0a 28 50 52 |abular}{|lll}.(PR|
|00000880| 4f 50 45 52 2d 4c 49 53 | 54 3f 20 27 28 41 20 42 |OPER-LIS|T? '(A B|
|00000890| 20 43 29 29 20 20 20 20 | 26 24 5c 4c 6f 6e 67 72 | C)) |&$\Longr|
|000008a0| 69 67 68 74 61 72 72 6f | 77 24 5c 20 26 20 20 7b |ightarro|w$\ & {|
|000008b0| 5c 69 74 20 74 72 75 65 | 7d 20 5c 5c 0a 28 50 52 |\it true|} \\.(PR|
|000008c0| 4f 50 45 52 2d 4c 49 53 | 54 3f 20 27 28 41 20 42 |OPER-LIS|T? '(A B|
|000008d0| 20 2e 20 43 29 29 20 20 | 26 24 5c 4c 6f 6e 67 72 | . C)) |&$\Longr|
|000008e0| 69 67 68 74 61 72 72 6f | 77 24 5c 20 26 20 20 7b |ightarro|w$\ & {|
|000008f0| 5c 69 74 20 66 61 6c 73 | 65 7d 20 5c 5c 0a 28 50 |\it fals|e} \\.(P|
|00000900| 52 4f 50 45 52 2d 4c 49 | 53 54 3f 20 27 28 29 29 |ROPER-LI|ST? '())|
|00000910| 20 20 20 20 20 20 20 20 | 20 26 24 5c 4c 6f 6e 67 | | &$\Long|
|00000920| 72 69 67 68 74 61 72 72 | 6f 77 24 5c 20 26 20 20 |rightarr|ow$\ & |
|00000930| 7b 5c 69 74 20 74 72 75 | 65 7d 0a 5c 65 6e 64 7b |{\it tru|e}.\end{|
|00000940| 74 61 62 75 6c 61 72 7d | 0a 20 20 20 20 5c 65 6e |tabular}|. \en|
|00000950| 64 7b 63 6f 64 65 78 65 | 6e 76 7d 0a 5c 65 6e 64 |d{codexe|nv}.\end|
|00000960| 7b 69 6e 73 65 74 7d 20 | 0a 0a 5c 69 6e 64 65 78 |{inset} |..\index|
|00000970| 7b 4e 55 4c 4c 2d 4c 49 | 53 54 3f 40 7b 5c 74 74 |{NULL-LI|ST?@{\tt|
|00000980| 20 4e 55 4c 4c 2d 4c 49 | 53 54 3f 7d 7d 0a 7b 5c | NULL-LI|ST?}}.{\|
|00000990| 6d 62 6f 78 20 7b 5c 74 | 74 20 28 4e 55 4c 4c 2d |mbox {\t|t (NULL-|
|000009a0| 4c 49 53 54 3f 20 7b 5c | 69 74 20 6c 69 73 74 5c |LIST? {\|it list\|
|000009b0| 2f 7d 29 20 24 5c 6c 6f | 6e 67 72 69 67 68 74 61 |/}) $\lo|ngrighta|
|000009c0| 72 72 6f 77 24 5c 20 20 | 7b 5c 69 74 20 62 6f 6f |rrow$\ |{\it boo|
|000009d0| 6c 65 61 6e 5c 2f 7d 7d | 7d 0a 5c 68 66 69 6c 6c |lean\/}}|}.\hfill|
|000009e0| 20 20 0a 0a 5c 62 65 67 | 69 6e 7b 69 6e 73 65 74 | ..\beg|in{inset|
|000009f0| 7d 7b 7d 0a 4c 69 6b 65 | 20 7b 5c 74 74 20 4e 55 |}{}.Like| {\tt NU|
|00000a00| 4c 4c 3f 7d 2c 20 62 75 | 74 20 68 61 73 20 61 6e |LL?}, bu|t has an|
|00000a10| 20 75 6e 64 65 66 69 6e | 65 64 20 65 66 66 65 63 | undefin|ed effec|
|00000a20| 74 20 28 61 6e 64 20 6d | 61 79 2c 20 66 6f 72 20 |t (and m|ay, for |
|00000a30| 65 78 61 6d 70 6c 65 2c | 0a 73 69 67 6e 61 6c 20 |example,|.signal |
|00000a40| 61 6e 20 65 72 72 6f 72 | 29 20 69 66 20 69 74 73 |an error|) if its|
|00000a50| 20 61 72 67 75 6d 65 6e | 74 20 69 73 20 6e 6f 74 | argumen|t is not|
|00000a60| 20 65 69 74 68 65 72 20 | 61 20 70 61 69 72 20 6f | either |a pair o|
|00000a70| 72 20 6e 75 6c 6c 2e 0a | 7b 5c 6d 62 6f 78 20 7b |r null..|{\mbox {|
|00000a80| 5c 74 74 20 28 4e 55 4c | 4c 2d 4c 49 53 54 3f 20 |\tt (NUL|L-LIST? |
|00000a90| 7b 5c 69 74 20 78 5c 2f | 7d 29 7d 7d 20 69 73 20 |{\it x\/|})}} is |
|00000aa0| 72 6f 75 67 68 6c 79 20 | 74 68 65 20 73 61 6d 65 |roughly |the same|
|00000ab0| 20 61 73 0a 7b 5c 6d 62 | 6f 78 20 7b 5c 74 74 20 | as.{\mb|ox {\tt |
|00000ac0| 28 4e 55 4c 4c 3f 20 28 | 45 4e 46 4f 52 43 45 20 |(NULL? (|ENFORCE |
|00000ad0| 4c 49 53 54 3f 20 7b 5c | 69 74 20 78 5c 2f 7d 29 |LIST? {\|it x\/})|
|00000ae0| 29 7d 7d 2e 0a 5c 65 6e | 64 7b 69 6e 73 65 74 7d |)}}..\en|d{inset}|
|00000af0| 20 0a 0a 5c 73 65 63 74 | 69 6f 6e 7b 43 6f 6e 73 | ..\sect|ion{Cons|
|00000b00| 74 72 75 63 74 6f 72 73 | 7d 0a 0a 0a 5c 69 6e 64 |tructors|}...\ind|
|00000b10| 65 78 7b 43 4f 4e 53 40 | 7b 5c 74 74 20 43 4f 4e |ex{CONS@|{\tt CON|
|00000b20| 53 7d 7d 0a 7b 5c 6d 62 | 6f 78 20 7b 5c 74 74 20 |S}}.{\mb|ox {\tt |
|00000b30| 28 43 4f 4e 53 20 7b 5c | 69 74 20 6f 62 6a 65 63 |(CONS {\|it objec|
|00000b40| 74 31 20 6f 62 6a 65 63 | 74 32 5c 2f 7d 29 20 24 |t1 objec|t2\/}) $|
|00000b50| 5c 6c 6f 6e 67 72 69 67 | 68 74 61 72 72 6f 77 24 |\longrig|htarrow$|
|00000b60| 5c 20 20 7b 5c 69 74 20 | 70 61 69 72 5c 2f 7d 7d |\ {\it |pair\/}}|
|00000b70| 7d 0a 5c 68 66 69 6c 6c | 20 20 0a 0a 5c 62 65 67 |}.\hfill| ..\beg|
|00000b80| 69 6e 7b 69 6e 73 65 74 | 7d 7b 7d 0a 52 65 74 75 |in{inset|}{}.Retu|
|00000b90| 72 6e 73 20 61 20 6e 65 | 77 20 70 61 69 72 20 77 |rns a ne|w pair w|
|00000ba0| 68 6f 73 65 20 63 61 72 | 20 69 73 20 7b 5c 69 74 |hose car| is {\it|
|00000bb0| 20 6f 62 6a 65 63 74 31 | 5c 2f 7d 20 61 6e 64 20 | object1|\/} and |
|00000bc0| 77 68 6f 73 65 20 63 64 | 72 20 69 73 20 7b 5c 69 |whose cd|r is {\i|
|00000bd0| 74 20 6f 62 6a 65 63 74 | 32 5c 2f 7d 2e 0a 5c 62 |t object|2\/}..\b|
|00000be0| 65 67 69 6e 7b 63 6f 64 | 65 78 65 6e 76 7d 0a 20 |egin{cod|exenv}. |
|00000bf0| 20 20 20 5c 62 65 67 69 | 6e 7b 74 61 62 75 6c 61 | \begi|n{tabula|
|00000c00| 72 7d 7b 6c 6c 6c 7d 0a | 28 43 4f 4e 53 20 27 41 |r}{lll}.|(CONS 'A|
|00000c10| 20 27 28 29 29 20 20 20 | 20 20 20 20 20 20 20 20 | '()) | |
|00000c20| 20 26 24 5c 4c 6f 6e 67 | 72 69 67 68 74 61 72 72 | &$\Long|rightarr|
|00000c30| 6f 77 24 5c 20 26 20 20 | 28 41 29 20 5c 5c 0a 28 |ow$\ & |(A) \\.(|
|00000c40| 43 4f 4e 53 20 27 41 20 | 27 42 29 20 20 20 20 20 |CONS 'A |'B) |
|00000c50| 20 20 20 20 20 20 20 20 | 26 24 5c 4c 6f 6e 67 72 | |&$\Longr|
|00000c60| 69 67 68 74 61 72 72 6f | 77 24 5c 20 26 20 20 28 |ightarro|w$\ & (|
|00000c70| 41 20 2e 20 42 29 20 5c | 5c 0a 28 43 4f 4e 53 20 |A . B) \|\.(CONS |
|00000c80| 27 41 20 27 28 42 29 29 | 20 20 20 20 20 20 20 20 |'A '(B))| |
|00000c90| 20 20 20 26 24 5c 4c 6f | 6e 67 72 69 67 68 74 61 | &$\Lo|ngrighta|
|00000ca0| 72 72 6f 77 24 5c 20 26 | 20 20 28 41 20 42 29 20 |rrow$\ &| (A B) |
|00000cb0| 5c 5c 0a 28 43 4f 4e 53 | 20 27 41 20 28 43 4f 4e |\\.(CONS| 'A (CON|
|00000cc0| 53 20 27 42 20 27 28 29 | 29 29 20 20 26 24 5c 4c |S 'B '()|)) &$\L|
|00000cd0| 6f 6e 67 72 69 67 68 74 | 61 72 72 6f 77 24 5c 20 |ongright|arrow$\ |
|00000ce0| 26 20 20 28 41 20 42 29 | 20 5c 5c 0a 28 43 4f 4e |& (A B)| \\.(CON|
|00000cf0| 53 20 27 41 20 28 4c 49 | 53 54 20 27 42 20 27 43 |S 'A (LI|ST 'B 'C|
|00000d00| 29 29 20 20 20 26 24 5c | 4c 6f 6e 67 72 69 67 68 |)) &$\|Longrigh|
|00000d10| 74 61 72 72 6f 77 24 5c | 20 26 20 20 28 41 20 42 |tarrow$\| & (A B|
|00000d20| 20 43 29 0a 5c 65 6e 64 | 7b 74 61 62 75 6c 61 72 | C).\end|{tabular|
|00000d30| 7d 0a 20 20 20 20 5c 65 | 6e 64 7b 63 6f 64 65 78 |}. \e|nd{codex|
|00000d40| 65 6e 76 7d 0a 5c 65 6e | 64 7b 69 6e 73 65 74 7d |env}.\en|d{inset}|
|00000d50| 20 0a 0a 5c 69 6e 64 65 | 78 7b 4c 49 53 54 40 7b | ..\inde|x{LIST@{|
|00000d60| 5c 74 74 20 4c 49 53 54 | 7d 7d 0a 7b 5c 6d 62 6f |\tt LIST|}}.{\mbo|
|00000d70| 78 20 7b 5c 74 74 20 28 | 4c 49 53 54 20 2e 20 7b |x {\tt (|LIST . {|
|00000d80| 5c 69 74 20 6f 62 6a 65 | 63 74 73 5c 2f 7d 29 20 |\it obje|cts\/}) |
|00000d90| 24 5c 6c 6f 6e 67 72 69 | 67 68 74 61 72 72 6f 77 |$\longri|ghtarrow|
|00000da0| 24 5c 20 20 7b 5c 69 74 | 20 6c 69 73 74 5c 2f 7d |$\ {\it| list\/}|
|00000db0| 7d 7d 0a 5c 68 66 69 6c | 6c 20 20 0a 0a 5c 62 65 |}}.\hfil|l ..\be|
|00000dc0| 67 69 6e 7b 69 6e 73 65 | 74 7d 7b 7d 0a 52 65 74 |gin{inse|t}{}.Ret|
|00000dd0| 75 72 6e 73 20 61 20 6e | 65 77 20 6c 69 73 74 20 |urns a n|ew list |
|00000de0| 6f 66 20 69 74 73 20 61 | 72 67 75 6d 65 6e 74 73 |of its a|rguments|
|00000df0| 2e 0a 5c 62 65 67 69 6e | 7b 63 6f 64 65 78 65 6e |..\begin|{codexen|
|00000e00| 76 7d 0a 20 20 20 20 5c | 62 65 67 69 6e 7b 74 61 |v}. \|begin{ta|
|00000e10| 62 75 6c 61 72 7d 7b 6c | 6c 6c 7d 0a 28 4c 49 53 |bular}{l|ll}.(LIS|
|00000e20| 54 29 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |T) | |
|00000e30| 20 20 20 20 26 24 5c 4c | 6f 6e 67 72 69 67 68 74 | &$\L|ongright|
|00000e40| 61 72 72 6f 77 24 5c 20 | 26 20 20 28 29 20 5c 5c |arrow$\ |& () \\|
|00000e50| 0a 28 4c 49 53 54 20 27 | 41 29 20 20 20 20 20 20 |.(LIST '|A) |
|00000e60| 20 20 20 20 20 20 20 20 | 20 26 24 5c 4c 6f 6e 67 | | &$\Long|
|00000e70| 72 69 67 68 74 61 72 72 | 6f 77 24 5c 20 26 20 20 |rightarr|ow$\ & |
|00000e80| 28 41 29 20 5c 5c 0a 28 | 4c 49 53 54 20 27 41 20 |(A) \\.(|LIST 'A |
|00000e90| 27 42 29 20 20 20 20 20 | 20 20 20 20 20 20 20 26 |'B) | &|
|00000ea0| 24 5c 4c 6f 6e 67 72 69 | 67 68 74 61 72 72 6f 77 |$\Longri|ghtarrow|
|00000eb0| 24 5c 20 26 20 20 28 41 | 20 42 29 20 5c 5c 0a 28 |$\ & (A| B) \\.(|
|00000ec0| 4c 49 53 54 20 27 41 20 | 28 4c 49 53 54 20 27 42 |LIST 'A |(LIST 'B|
|00000ed0| 20 27 43 29 29 20 20 26 | 24 5c 4c 6f 6e 67 72 69 | 'C)) &|$\Longri|
|00000ee0| 67 68 74 61 72 72 6f 77 | 24 5c 20 26 20 20 28 41 |ghtarrow|$\ & (A|
|00000ef0| 20 28 42 20 43 29 29 20 | 5c 5c 0a 4c 49 53 54 20 | (B C)) |\\.LIST |
|00000f00| 20 26 24 5c 65 71 75 69 | 76 24 26 20 20 28 4c 41 | &$\equi|v$& (LA|
|00000f10| 4d 42 44 41 20 54 48 49 | 4e 47 53 20 54 48 49 4e |MBDA THI|NGS THIN|
|00000f20| 47 53 29 0a 5c 65 6e 64 | 7b 74 61 62 75 6c 61 72 |GS).\end|{tabular|
|00000f30| 7d 0a 20 20 20 20 5c 65 | 6e 64 7b 63 6f 64 65 78 |}. \e|nd{codex|
|00000f40| 65 6e 76 7d 0a 5c 65 6e | 64 7b 69 6e 73 65 74 7d |env}.\en|d{inset}|
|00000f50| 20 0a 0a 0a 5c 69 6e 64 | 65 78 7b 43 4f 4e 53 2a | ...\ind|ex{CONS*|
|00000f60| 40 7b 5c 74 74 20 43 4f | 4e 53 2a 7d 7d 0a 7b 5c |@{\tt CO|NS*}}.{\|
|00000f70| 6d 62 6f 78 20 7b 5c 74 | 74 20 28 43 4f 4e 53 2a |mbox {\t|t (CONS*|
|00000f80| 20 2e 20 7b 5c 69 74 20 | 6f 62 6a 65 63 74 73 5c | . {\it |objects\|
|00000f90| 2f 7d 29 20 24 5c 6c 6f | 6e 67 72 69 67 68 74 61 |/}) $\lo|ngrighta|
|00000fa0| 72 72 6f 77 24 5c 20 20 | 7b 5c 69 74 20 70 61 69 |rrow$\ |{\it pai|
|00000fb0| 72 5c 2f 7d 7d 7d 0a 5c | 68 66 69 6c 6c 20 20 0a |r\/}}}.\|hfill .|
|00000fc0| 0a 5c 62 65 67 69 6e 7b | 69 6e 73 65 74 7d 7b 7d |.\begin{|inset}{}|
|00000fd0| 0a 7b 5c 74 74 20 43 4f | 4e 53 2a 7d 20 69 73 20 |.{\tt CO|NS*} is |
|00000fe0| 61 20 67 65 6e 65 72 61 | 6c 69 7a 65 64 20 7b 5c |a genera|lized {\|
|00000ff0| 74 74 20 43 4f 4e 53 7d | 2e 0a 49 74 20 72 65 74 |tt CONS}|..It ret|
|00001000| 75 72 6e 73 20 61 20 6e | 65 77 2c 20 70 6f 73 73 |urns a n|ew, poss|
|00001010| 69 62 6c 79 20 69 6d 70 | 72 6f 70 65 72 2c 20 6c |ibly imp|roper, l|
|00001020| 69 73 74 2c 0a 62 79 20 | 63 6f 6e 73 69 6e 67 20 |ist,.by |consing |
|00001030| 74 68 65 20 69 6e 69 74 | 69 61 6c 20 7b 5c 69 74 |the init|ial {\it|
|00001040| 20 6f 62 6a 65 63 74 73 | 5c 2f 7d 20 6f 6e 74 6f | objects|\/} onto|
|00001050| 20 74 68 65 20 6c 61 73 | 74 20 7b 5c 69 74 20 6f | the las|t {\it o|
|00001060| 62 6a 65 63 74 5c 2f 7d | 2e 0a 5c 62 65 67 69 6e |bject\/}|..\begin|
|00001070| 7b 63 6f 64 65 78 65 6e | 76 7d 0a 20 20 20 20 5c |{codexen|v}. \|
|00001080| 62 65 67 69 6e 7b 74 61 | 62 75 6c 61 72 7d 7b 6c |begin{ta|bular}{l|
|00001090| 6c 6c 7d 0a 28 43 4f 4e | 53 2a 20 31 20 32 20 33 |ll}.(CON|S* 1 2 3|
|000010a0| 29 20 20 20 20 20 20 20 | 20 20 20 26 24 5c 4c 6f |) | &$\Lo|
|000010b0| 6e 67 72 69 67 68 74 61 | 72 72 6f 77 24 5c 20 26 |ngrighta|rrow$\ &|
|000010c0| 20 20 28 31 20 32 20 2e | 20 33 29 20 5c 5c 0a 28 | (1 2 .| 3) \\.(|
|000010d0| 43 4f 4e 53 2a 20 27 41 | 20 27 42 20 27 28 43 20 |CONS* 'A| 'B '(C |
|000010e0| 44 29 29 20 20 26 24 5c | 4c 6f 6e 67 72 69 67 68 |D)) &$\|Longrigh|
|000010f0| 74 61 72 72 6f 77 24 5c | 20 26 20 20 28 41 20 42 |tarrow$\| & (A B|
|00001100| 20 43 20 44 29 20 5c 5c | 0a 28 43 4f 4e 53 2a 20 | C D) \\|.(CONS* |
|00001110| 7b 5c 69 74 20 6f 62 6a | 65 63 74 5c 2f 7d 29 20 |{\it obj|ect\/}) |
|00001120| 20 20 26 24 5c 65 71 75 | 69 76 24 26 20 20 7b 5c | &$\equ|iv$& {\|
|00001130| 69 74 20 6f 62 6a 65 63 | 74 5c 2f 7d 20 5c 5c 0a |it objec|t\/} \\.|
|00001140| 28 43 4f 4e 53 2a 20 7b | 5c 69 74 20 6f 62 6a 65 |(CONS* {|\it obje|
|00001150| 63 74 31 20 6f 62 6a 65 | 63 74 32 5c 2f 7d 29 20 |ct1 obje|ct2\/}) |
|00001160| 26 24 5c 65 71 75 69 76 | 24 26 20 20 28 43 4f 4e |&$\equiv|$& (CON|
|00001170| 53 20 7b 5c 69 74 20 6f | 62 6a 65 63 74 31 20 6f |S {\it o|bject1 o|
|00001180| 62 6a 65 63 74 32 5c 2f | 7d 29 0a 5c 65 6e 64 7b |bject2\/|}).\end{|
|00001190| 74 61 62 75 6c 61 72 7d | 0a 20 20 20 20 5c 65 6e |tabular}|. \en|
|000011a0| 64 7b 63 6f 64 65 78 65 | 6e 76 7d 0a 5c 65 6e 64 |d{codexe|nv}.\end|
|000011b0| 7b 69 6e 73 65 74 7d 20 | 0a 0a 5c 69 6e 64 65 78 |{inset} |..\index|
|000011c0| 7b 43 4f 50 59 2d 4c 49 | 53 54 40 7b 5c 74 74 20 |{COPY-LI|ST@{\tt |
|000011d0| 43 4f 50 59 2d 4c 49 53 | 54 7d 7d 0a 7b 5c 6d 62 |COPY-LIS|T}}.{\mb|
|000011e0| 6f 78 20 7b 5c 74 74 20 | 28 43 4f 50 59 2d 4c 49 |ox {\tt |(COPY-LI|
|000011f0| 53 54 20 7b 5c 69 74 20 | 6c 69 73 74 5c 2f 7d 29 |ST {\it |list\/})|
|00001200| 20 24 5c 6c 6f 6e 67 72 | 69 67 68 74 61 72 72 6f | $\longr|ightarro|
|00001210| 77 24 5c 20 20 7b 5c 69 | 74 20 6c 69 73 74 5c 2f |w$\ {\i|t list\/|
|00001220| 7d 7d 7d 0a 5c 68 66 69 | 6c 6c 20 20 0a 0a 5c 62 |}}}.\hfi|ll ..\b|
|00001230| 65 67 69 6e 7b 69 6e 73 | 65 74 7d 7b 7d 0a 4d 61 |egin{ins|et}{}.Ma|
|00001240| 6b 65 73 20 61 20 60 60 | 74 6f 70 2d 6c 65 76 65 |kes a ``|top-leve|
|00001250| 6c 27 27 20 63 6f 70 79 | 20 6f 66 20 61 20 6c 69 |l'' copy| of a li|
|00001260| 73 74 3b 20 74 68 61 74 | 20 69 73 2c 20 72 65 74 |st; that| is, ret|
|00001270| 75 72 6e 73 20 61 20 6e | 65 77 0a 6c 69 73 74 20 |urns a n|ew.list |
|00001280| 77 68 6f 73 65 20 65 6c | 65 6d 65 6e 74 73 20 61 |whose el|ements a|
|00001290| 72 65 20 74 68 65 20 73 | 61 6d 65 20 61 73 20 74 |re the s|ame as t|
|000012a0| 68 65 20 6f 72 69 67 69 | 6e 61 6c 2e 0a 7b 5c 74 |he origi|nal..{\t|
|000012b0| 74 20 5c 62 65 67 69 6e | 7b 74 61 62 62 69 6e 67 |t \begin|{tabbing|
|000012c0| 7d 0a 28 43 4f 50 59 2d | 4c 49 53 54 20 5c 3d 20 |}.(COPY-|LIST \= |
|000012d0| 7b 5c 69 74 20 6c 69 73 | 74 5c 2f 7d 29 20 20 24 |{\it lis|t\/}) $|
|000012e0| 5c 65 71 75 69 76 24 20 | 5c 2b 20 5c 5c 0a 20 20 |\equiv$ |\+ \\. |
|000012f0| 28 43 4f 4e 44 20 5c 3d | 20 28 28 4e 55 4c 4c 2d |(COND \=| ((NULL-|
|00001300| 4c 49 53 54 3f 20 7b 5c | 69 74 20 6c 69 73 74 5c |LIST? {\|it list\|
|00001310| 2f 7d 29 20 27 28 29 29 | 20 5c 5c 0a 20 20 20 20 |/}) '())| \\. |
|00001320| 20 20 20 20 5c 3e 20 28 | 45 4c 53 45 20 28 43 4f | \> (|ELSE (CO|
|00001330| 4e 53 20 28 43 41 52 20 | 7b 5c 69 74 20 6c 69 73 |NS (CAR |{\it lis|
|00001340| 74 5c 2f 7d 29 20 28 43 | 4f 50 59 2d 4c 49 53 54 |t\/}) (C|OPY-LIST|
|00001350| 20 28 43 44 52 20 7b 5c | 69 74 20 6c 69 73 74 5c | (CDR {\|it list\|
|00001360| 2f 7d 29 29 29 29 29 20 | 5c 2d 20 5c 5c 0a 0a 28 |/}))))) |\- \\..(|
|00001370| 43 4f 50 59 2d 4c 49 53 | 54 20 7b 5c 69 74 20 6c |COPY-LIS|T {\it l|
|00001380| 69 73 74 5c 2f 7d 29 20 | 20 24 5c 65 71 75 69 76 |ist\/}) | $\equiv|
|00001390| 24 20 20 28 4d 41 50 20 | 49 44 45 4e 54 49 54 59 |$ (MAP |IDENTITY|
|000013a0| 20 7b 5c 69 74 20 6c 69 | 73 74 5c 2f 7d 29 20 5c | {\it li|st\/}) \|
|000013b0| 5c 0a 5c 65 6e 64 7b 74 | 61 62 62 69 6e 67 7d 7d |\.\end{t|abbing}}|
|000013c0| 0a 5c 65 6e 64 7b 69 6e | 73 65 74 7d 20 0a 0a 5c |.\end{in|set} ..\|
|000013d0| 73 65 63 74 69 6f 6e 7b | 4c 69 73 74 20 61 63 63 |section{|List acc|
|000013e0| 65 73 73 7d 0a 0a 0a 5c | 69 6e 64 65 78 7b 43 41 |ess}...\|index{CA|
|000013f0| 52 40 7b 5c 74 74 20 43 | 41 52 7d 7d 0a 7b 5c 6d |R@{\tt C|AR}}.{\m|
|00001400| 62 6f 78 20 7b 5c 74 74 | 20 28 43 41 52 20 7b 5c |box {\tt| (CAR {\|
|00001410| 69 74 20 70 61 69 72 5c | 2f 7d 29 20 24 5c 6c 6f |it pair\|/}) $\lo|
|00001420| 6e 67 72 69 67 68 74 61 | 72 72 6f 77 24 5c 20 20 |ngrighta|rrow$\ |
|00001430| 7b 5c 69 74 20 6f 62 6a | 65 63 74 5c 2f 7d 7d 7d |{\it obj|ect\/}}}|
|00001440| 0a 5c 68 66 69 6c 6c 20 | 53 65 74 74 61 62 6c 65 |.\hfill |Settable|
|00001450| 0a 0a 5c 62 65 67 69 6e | 7b 69 6e 73 65 74 7d 7b |..\begin|{inset}{|
|00001460| 7d 0a 52 65 74 75 72 6e | 73 20 74 68 65 20 63 61 |}.Return|s the ca|
|00001470| 72 20 6f 66 20 74 68 65 | 20 7b 5c 69 74 20 70 61 |r of the| {\it pa|
|00001480| 69 72 5c 2f 7d 2e 0a 7b | 5c 6d 62 6f 78 20 7b 5c |ir\/}..{|\mbox {\|
|00001490| 74 74 20 28 43 41 52 20 | 28 29 20 24 5c 6c 6f 6e |tt (CAR |() $\lon|
|000014a0| 67 72 69 67 68 74 61 72 | 72 6f 77 24 5c 20 20 7b |grightar|row$\ {|
|000014b0| 5c 69 74 20 65 72 72 6f | 72 7d 29 7d 7d 27 2c 0a |\it erro|r})}}',.|
|000014c0| 74 68 6f 75 67 68 2c 20 | 66 6f 72 20 63 6f 6d 70 |though, |for comp|
|000014d0| 61 74 69 62 69 6c 69 74 | 79 2c 20 69 6e 20 7b 5c |atibilit|y, in {\|
|000014e0| 62 66 20 54 33 2e 31 7d | 20 69 74 20 77 69 6c 6c |bf T3.1}| it will|
|000014f0| 20 65 76 61 6c 75 61 74 | 65 20 74 6f 20 7b 5c 6d | evaluat|e to {\m|
|00001500| 62 6f 78 20 7b 5c 74 74 | 20 28 29 7d 7d 2e 0a 5c |box {\tt| ()}}..\|
|00001510| 65 6e 64 7b 69 6e 73 65 | 74 7d 20 0a 0a 5c 69 6e |end{inse|t} ..\in|
|00001520| 64 65 78 7b 43 44 52 40 | 7b 5c 74 74 20 43 44 52 |dex{CDR@|{\tt CDR|
|00001530| 7d 7d 0a 7b 5c 6d 62 6f | 78 20 7b 5c 74 74 20 28 |}}.{\mbo|x {\tt (|
|00001540| 43 44 52 20 7b 5c 69 74 | 20 70 61 69 72 5c 2f 7d |CDR {\it| pair\/}|
|00001550| 29 20 24 5c 6c 6f 6e 67 | 72 69 67 68 74 61 72 72 |) $\long|rightarr|
|00001560| 6f 77 24 5c 20 20 7b 5c | 69 74 20 6f 62 6a 65 63 |ow$\ {\|it objec|
|00001570| 74 5c 2f 7d 7d 7d 0a 5c | 68 66 69 6c 6c 20 53 65 |t\/}}}.\|hfill Se|
|00001580| 74 74 61 62 6c 65 0a 0a | 5c 62 65 67 69 6e 7b 69 |ttable..|\begin{i|
|00001590| 6e 73 65 74 7d 7b 7d 0a | 52 65 74 75 72 6e 73 20 |nset}{}.|Returns |
|000015a0| 74 68 65 20 63 64 72 20 | 6f 66 20 74 68 65 20 7b |the cdr |of the {|
|000015b0| 5c 69 74 20 70 61 69 72 | 5c 2f 7d 2e 0a 7b 5c 6d |\it pair|\/}..{\m|
|000015c0| 62 6f 78 20 7b 5c 74 74 | 20 28 43 44 52 20 28 29 |box {\tt| (CDR ()|
|000015d0| 20 24 5c 6c 6f 6e 67 72 | 69 67 68 74 61 72 72 6f | $\longr|ightarro|
|000015e0| 77 24 5c 20 20 7b 5c 69 | 74 20 65 72 72 6f 72 7d |w$\ {\i|t error}|
|000015f0| 29 7d 7d 27 2c 0a 74 68 | 6f 75 67 68 2c 20 66 6f |)}}',.th|ough, fo|
|00001600| 72 20 63 6f 6d 70 61 74 | 69 62 69 6c 69 74 79 2c |r compat|ibility,|
|00001610| 20 69 6e 20 7b 5c 62 66 | 20 54 33 2e 31 7d 20 69 | in {\bf| T3.1} i|
|00001620| 74 20 77 69 6c 6c 20 65 | 76 61 6c 75 61 74 65 20 |t will e|valuate |
|00001630| 74 6f 20 7b 5c 6d 62 6f | 78 20 7b 5c 74 74 20 28 |to {\mbo|x {\tt (|
|00001640| 29 7d 7d 2e 0a 5c 65 6e | 64 7b 69 6e 73 65 74 7d |)}}..\en|d{inset}|
|00001650| 20 0a 0a 5c 69 6e 64 65 | 78 7b 43 2e 2e 2e 52 40 | ..\inde|x{C...R@|
|00001660| 7b 5c 74 74 20 43 2e 2e | 2e 52 7d 7d 0a 7b 5c 6d |{\tt C..|.R}}.{\m|
|00001670| 62 6f 78 20 7b 5c 74 74 | 20 28 43 2e 2e 2e 52 20 |box {\tt| (C...R |
|00001680| 7b 5c 69 74 20 70 61 69 | 72 5c 2f 7d 29 20 24 5c |{\it pai|r\/}) $\|
|00001690| 6c 6f 6e 67 72 69 67 68 | 74 61 72 72 6f 77 24 5c |longrigh|tarrow$\|
|000016a0| 20 20 7b 5c 69 74 20 6f | 62 6a 65 63 74 5c 2f 7d | {\it o|bject\/}|
|000016b0| 7d 7d 0a 5c 68 66 69 6c | 6c 20 53 65 74 74 61 62 |}}.\hfil|l Settab|
|000016c0| 6c 65 0a 0a 5c 62 65 67 | 69 6e 7b 69 6e 73 65 74 |le..\beg|in{inset|
|000016d0| 7d 7b 7d 0a 43 6f 6d 70 | 6f 73 69 74 69 6f 6e 73 |}{}.Comp|ositions|
|000016e0| 20 6f 66 20 7b 5c 74 74 | 20 43 41 52 7d 20 61 6e | of {\tt| CAR} an|
|000016f0| 64 20 7b 5c 74 74 20 43 | 44 52 7d 2c 20 75 70 20 |d {\tt C|DR}, up |
|00001700| 74 6f 20 66 6f 75 72 20 | 64 65 65 70 2c 20 61 72 |to four |deep, ar|
|00001710| 65 20 64 65 66 69 6e 65 | 64 2e 0a 5c 62 65 67 69 |e define|d..\begi|
|00001720| 6e 7b 63 6f 64 65 78 65 | 6e 76 7d 0a 20 20 20 20 |n{codexe|nv}. |
|00001730| 5c 62 65 67 69 6e 7b 74 | 61 62 75 6c 61 72 7d 7b |\begin{t|abular}{|
|00001740| 6c 6c 6c 7d 0a 28 43 41 | 44 41 52 20 7b 5c 69 74 |lll}.(CA|DAR {\it|
|00001750| 20 78 5c 2f 7d 29 20 20 | 20 26 24 5c 65 71 75 69 | x\/}) | &$\equi|
|00001760| 76 24 26 20 20 28 43 41 | 52 20 28 43 44 52 20 28 |v$& (CA|R (CDR (|
|00001770| 43 41 52 20 7b 5c 69 74 | 20 78 5c 2f 7d 29 29 29 |CAR {\it| x\/})))|
|00001780| 20 5c 5c 0a 28 43 41 44 | 44 44 52 20 7b 5c 69 74 | \\.(CAD|DDR {\it|
|00001790| 20 78 5c 2f 7d 29 20 20 | 26 24 5c 65 71 75 69 76 | x\/}) |&$\equiv|
|000017a0| 24 26 20 20 28 43 41 52 | 20 28 43 44 52 20 28 43 |$& (CAR| (CDR (C|
|000017b0| 44 52 20 28 43 44 52 20 | 7b 5c 69 74 20 78 5c 2f |DR (CDR |{\it x\/|
|000017c0| 7d 29 29 29 29 0a 5c 65 | 6e 64 7b 74 61 62 75 6c |})))).\e|nd{tabul|
|000017d0| 61 72 7d 0a 20 20 20 20 | 5c 65 6e 64 7b 63 6f 64 |ar}. |\end{cod|
|000017e0| 65 78 65 6e 76 7d 0a 5c | 65 6e 64 7b 69 6e 73 65 |exenv}.\|end{inse|
|000017f0| 74 7d 20 0a 0a 0a 5c 69 | 6e 64 65 78 7b 4e 54 48 |t} ...\i|ndex{NTH|
|00001800| 40 7b 5c 74 74 20 4e 54 | 48 7d 7d 0a 7b 5c 6d 62 |@{\tt NT|H}}.{\mb|
|00001810| 6f 78 20 7b 5c 74 74 20 | 28 4e 54 48 20 7b 5c 69 |ox {\tt |(NTH {\i|
|00001820| 74 20 6c 69 73 74 20 6e | 5c 2f 7d 29 20 24 5c 6c |t list n|\/}) $\l|
|00001830| 6f 6e 67 72 69 67 68 74 | 61 72 72 6f 77 24 5c 20 |ongright|arrow$\ |
|00001840| 20 7b 5c 69 74 20 6f 62 | 6a 65 63 74 5c 2f 7d 7d | {\it ob|ject\/}}|
|00001850| 7d 0a 5c 68 66 69 6c 6c | 20 53 65 74 74 61 62 6c |}.\hfill| Settabl|
|00001860| 65 0a 0a 5c 62 65 67 69 | 6e 7b 69 6e 73 65 74 7d |e..\begi|n{inset}|
|00001870| 7b 7d 0a 52 65 74 75 72 | 6e 73 20 74 68 65 20 7b |{}.Retur|ns the {|
|00001880| 5c 69 74 20 6e 74 68 5c | 2f 7d 20 65 6c 65 6d 65 |\it nth\|/} eleme|
|00001890| 6e 74 20 6f 66 20 7b 5c | 69 74 20 6c 69 73 74 5c |nt of {\|it list\|
|000018a0| 2f 7d 2e 20 20 54 68 65 | 20 66 69 72 73 74 20 65 |/}. The| first e|
|000018b0| 6c 65 6d 65 6e 74 20 28 | 74 68 65 20 63 61 72 29 |lement (|the car)|
|000018c0| 20 69 73 0a 7b 5c 6d 62 | 6f 78 20 7b 5c 74 74 20 | is.{\mb|ox {\tt |
|000018d0| 28 4e 54 48 20 7b 5c 69 | 74 20 6c 69 73 74 5c 2f |(NTH {\i|t list\/|
|000018e0| 7d 20 30 29 7d 7d 2c 20 | 74 68 65 20 73 65 63 6f |} 0)}}, |the seco|
|000018f0| 6e 64 20 65 6c 65 6d 65 | 6e 74 20 69 73 20 7b 5c |nd eleme|nt is {\|
|00001900| 6d 62 6f 78 20 7b 5c 74 | 74 20 28 4e 54 48 20 7b |mbox {\t|t (NTH {|
|00001910| 5c 69 74 20 6c 69 73 74 | 5c 2f 7d 20 31 29 7d 7d |\it list|\/} 1)}}|
|00001920| 2c 0a 61 6e 64 20 73 6f | 20 6f 6e 2e 20 20 49 6e |,.and so| on. In|
|00001930| 20 67 65 6e 65 72 61 6c | 2c 20 7b 5c 69 74 20 6c | general|, {\it l|
|00001940| 69 73 74 5c 2f 7d 20 6d | 75 73 74 20 68 61 76 65 |ist\/} m|ust have|
|00001950| 20 61 74 20 6c 65 61 73 | 74 20 7b 5c 69 74 20 6e | at leas|t {\it n|
|00001960| 5c 2f 7d 2b 31 20 65 6c | 65 6d 65 6e 74 73 2e 0a |\/}+1 el|ements..|
|00001970| 5c 62 65 67 69 6e 7b 63 | 6f 64 65 78 65 6e 76 7d |\begin{c|odexenv}|
|00001980| 0a 20 20 20 20 5c 62 65 | 67 69 6e 7b 74 61 62 75 |. \be|gin{tabu|
|00001990| 6c 61 72 7d 7b 6c 6c 6c | 7d 0a 28 4e 54 48 20 27 |lar}{lll|}.(NTH '|
|000019a0| 28 41 20 42 29 20 30 29 | 20 20 26 24 5c 4c 6f 6e |(A B) 0)| &$\Lon|
|000019b0| 67 72 69 67 68 74 61 72 | 72 6f 77 24 5c 20 26 20 |grightar|row$\ & |
|000019c0| 20 41 20 5c 5c 0a 28 4e | 54 48 20 27 28 41 20 42 | A \\.(N|TH '(A B|
|000019d0| 29 20 31 29 20 20 26 24 | 5c 4c 6f 6e 67 72 69 67 |) 1) &$|\Longrig|
|000019e0| 68 74 61 72 72 6f 77 24 | 5c 20 26 20 20 42 20 5c |htarrow$|\ & B \|
|000019f0| 5c 0a 28 4e 54 48 20 27 | 28 41 20 42 29 20 32 29 |\.(NTH '|(A B) 2)|
|00001a00| 20 20 20 26 26 7b 5c 72 | 6d 20 68 61 73 20 61 6e | &&{\r|m has an|
|00001a10| 20 75 6e 64 65 66 69 6e | 65 64 20 65 66 66 65 63 | undefin|ed effec|
|00001a20| 74 7d 20 5c 5c 0a 28 4e | 54 48 20 27 28 29 20 7b |t} \\.(N|TH '() {|
|00001a30| 5c 69 74 20 6e 5c 2f 7d | 29 20 26 26 7b 5c 72 6d |\it n\/}|) &&{\rm|
|00001a40| 20 68 61 73 20 61 6e 20 | 75 6e 64 65 66 69 6e 65 | has an |undefine|
|00001a50| 64 20 65 66 66 65 63 74 | 20 66 6f 72 20 61 6e 79 |d effect| for any|
|00001a60| 20 7b 5c 69 74 20 6e 5c | 2f 7d 7d 0a 5c 65 6e 64 | {\it n\|/}}.\end|
|00001a70| 7b 74 61 62 75 6c 61 72 | 7d 0a 20 20 20 20 5c 65 |{tabular|}. \e|
|00001a80| 6e 64 7b 63 6f 64 65 78 | 65 6e 76 7d 0a 5c 65 6e |nd{codex|env}.\en|
|00001a90| 64 7b 69 6e 73 65 74 7d | 20 0a 0a 0a 5c 69 6e 64 |d{inset}| ...\ind|
|00001aa0| 65 78 7b 4e 54 48 43 44 | 52 40 7b 5c 74 74 20 4e |ex{NTHCD|R@{\tt N|
|00001ab0| 54 48 43 44 52 7d 7d 0a | 7b 5c 6d 62 6f 78 20 7b |THCDR}}.|{\mbox {|
|00001ac0| 5c 74 74 20 28 4e 54 48 | 43 44 52 20 7b 5c 69 74 |\tt (NTH|CDR {\it|
|00001ad0| 20 6c 69 73 74 20 6e 5c | 2f 7d 29 20 24 5c 6c 6f | list n\|/}) $\lo|
|00001ae0| 6e 67 72 69 67 68 74 61 | 72 72 6f 77 24 5c 20 20 |ngrighta|rrow$\ |
|00001af0| 7b 5c 69 74 20 6c 69 73 | 74 5c 2f 7d 7d 7d 0a 5c |{\it lis|t\/}}}.\|
|00001b00| 68 66 69 6c 6c 20 53 65 | 74 74 61 62 6c 65 0a 0a |hfill Se|ttable..|
|00001b10| 5c 62 65 67 69 6e 7b 69 | 6e 73 65 74 7d 7b 7d 0a |\begin{i|nset}{}.|
|00001b20| 52 65 74 75 72 6e 73 20 | 74 68 65 20 7b 5c 69 74 |Returns |the {\it|
|00001b30| 20 6e 74 68 5c 2f 7d 20 | 74 61 69 6c 20 6f 66 20 | nth\/} |tail of |
|00001b40| 7b 5c 69 74 20 6c 69 73 | 74 5c 2f 7d 2e 20 20 49 |{\it lis|t\/}. I|
|00001b50| 6e 20 67 65 6e 65 72 61 | 6c 2c 20 7b 5c 69 74 20 |n genera|l, {\it |
|00001b60| 6c 69 73 74 5c 2f 7d 0a | 6d 75 73 74 20 68 61 76 |list\/}.|must hav|
|00001b70| 65 20 61 74 20 6c 65 61 | 73 74 20 7b 5c 69 74 20 |e at lea|st {\it |
|00001b80| 6e 5c 2f 7d 20 74 61 69 | 6c 73 2e 0a 5c 62 65 67 |n\/} tai|ls..\beg|
|00001b90| 69 6e 7b 63 6f 64 65 78 | 65 6e 76 7d 0a 20 20 20 |in{codex|env}. |
|00001ba0| 20 5c 62 65 67 69 6e 7b | 74 61 62 75 6c 61 72 7d | \begin{|tabular}|
|00001bb0| 7b 6c 6c 6c 7d 0a 28 4e | 54 48 43 44 52 20 27 28 |{lll}.(N|THCDR '(|
|00001bc0| 41 20 42 29 20 30 29 20 | 20 26 24 5c 4c 6f 6e 67 |A B) 0) | &$\Long|
|00001bd0| 72 69 67 68 74 61 72 72 | 6f 77 24 5c 20 26 20 20 |rightarr|ow$\ & |
|00001be0| 28 41 20 42 29 20 5c 5c | 0a 28 4e 54 48 43 44 52 |(A B) \\|.(NTHCDR|
|00001bf0| 20 27 28 41 20 42 29 20 | 31 29 20 20 26 24 5c 4c | '(A B) |1) &$\L|
|00001c00| 6f 6e 67 72 69 67 68 74 | 61 72 72 6f 77 24 5c 20 |ongright|arrow$\ |
|00001c10| 26 20 20 28 42 29 20 5c | 5c 0a 28 4e 54 48 43 44 |& (B) \|\.(NTHCD|
|00001c20| 52 20 27 28 41 20 42 29 | 20 32 29 20 20 26 24 5c |R '(A B)| 2) &$\|
|00001c30| 4c 6f 6e 67 72 69 67 68 | 74 61 72 72 6f 77 24 5c |Longrigh|tarrow$\|
|00001c40| 20 26 20 20 28 29 20 5c | 5c 0a 28 4e 54 48 43 44 | & () \|\.(NTHCD|
|00001c50| 52 20 27 28 41 20 42 29 | 20 33 29 20 20 20 26 26 |R '(A B)| 3) &&|
|00001c60| 7b 5c 72 6d 20 68 61 73 | 20 61 6e 20 75 6e 64 65 |{\rm has| an unde|
|00001c70| 66 69 6e 65 64 20 65 66 | 66 65 63 74 7d 20 5c 5c |fined ef|fect} \\|
|00001c80| 0a 28 4e 54 48 43 44 52 | 20 27 28 29 20 7b 5c 69 |.(NTHCDR| '() {\i|
|00001c90| 74 20 6e 5c 2f 7d 29 20 | 26 26 7b 5c 72 6d 20 68 |t n\/}) |&&{\rm h|
|00001ca0| 61 73 20 61 6e 20 75 6e | 64 65 66 69 6e 65 64 20 |as an un|defined |
|00001cb0| 65 66 66 65 63 74 20 66 | 6f 72 20 61 6e 79 20 6e |effect f|or any n|
|00001cc0| 6f 6e 7a 65 72 6f 20 7b | 5c 69 74 20 6e 5c 2f 7d |onzero {|\it n\/}|
|00001cd0| 7d 0a 5c 65 6e 64 7b 74 | 61 62 75 6c 61 72 7d 0a |}.\end{t|abular}.|
|00001ce0| 20 20 20 20 5c 65 6e 64 | 7b 63 6f 64 65 78 65 6e | \end|{codexen|
|00001cf0| 76 7d 0a 20 20 20 20 5c | 62 65 67 69 6e 7b 69 6e |v}. \|begin{in|
|00001d00| 73 65 74 7d 7b 42 75 67 | 3a 7d 0a 20 20 20 20 7b |set}{Bug|:}. {|
|00001d10| 5c 74 74 20 4e 54 48 43 | 44 52 7d 20 64 6f 65 73 |\tt NTHC|DR} does|
|00001d20| 6e 27 74 20 68 61 6e 64 | 6c 65 20 7b 5c 74 74 20 |n't hand|le {\tt |
|00001d30| 53 45 54 54 45 52 7d 20 | 28 69 2e 65 2e 20 69 73 |SETTER} |(i.e. is|
|00001d40| 20 6e 6f 74 20 73 65 74 | 74 61 62 6c 65 29 20 69 | not set|table) i|
|00001d50| 6e 0a 20 20 20 20 7b 5c | 62 66 20 54 7d 20 33 2e |n. {\|bf T} 3.|
|00001d60| 31 2e 0a 20 20 20 20 5c | 65 6e 64 7b 69 6e 73 65 |1.. \|end{inse|
|00001d70| 74 7d 0a 5c 65 6e 64 7b | 69 6e 73 65 74 7d 20 0a |t}.\end{|inset} .|
|00001d80| 0a 0a 5c 69 6e 64 65 78 | 7b 4c 41 53 54 40 7b 5c |..\index|{LAST@{\|
|00001d90| 74 74 20 4c 41 53 54 7d | 7d 0a 7b 5c 6d 62 6f 78 |tt LAST}|}.{\mbox|
|00001da0| 20 7b 5c 74 74 20 28 4c | 41 53 54 20 7b 5c 69 74 | {\tt (L|AST {\it|
|00001db0| 20 6c 69 73 74 5c 2f 7d | 29 20 24 5c 6c 6f 6e 67 | list\/}|) $\long|
|00001dc0| 72 69 67 68 74 61 72 72 | 6f 77 24 5c 20 20 7b 5c |rightarr|ow$\ {\|
|00001dd0| 69 74 20 6f 62 6a 65 63 | 74 5c 2f 7d 7d 7d 0a 5c |it objec|t\/}}}.\|
|00001de0| 68 66 69 6c 6c 20 53 65 | 74 74 61 62 6c 65 0a 0a |hfill Se|ttable..|
|00001df0| 5c 62 65 67 69 6e 7b 69 | 6e 73 65 74 7d 7b 7d 0a |\begin{i|nset}{}.|
|00001e00| 52 65 74 75 72 6e 73 20 | 74 68 65 20 6c 61 73 74 |Returns |the last|
|00001e10| 20 65 6c 65 6d 65 6e 74 | 20 6f 66 20 7b 5c 69 74 | element| of {\it|
|00001e20| 20 6c 69 73 74 5c 2f 7d | 2e 0a 5c 62 65 67 69 6e | list\/}|..\begin|
|00001e30| 7b 63 6f 64 65 78 65 6e | 76 7d 0a 20 20 20 20 5c |{codexen|v}. \|
|00001e40| 62 65 67 69 6e 7b 74 61 | 62 75 6c 61 72 7d 7b 6c |begin{ta|bular}{l|
|00001e50| 6c 6c 7d 0a 28 4c 41 53 | 54 20 27 28 41 20 42 20 |ll}.(LAS|T '(A B |
|00001e60| 43 29 29 20 20 26 24 5c | 4c 6f 6e 67 72 69 67 68 |C)) &$\|Longrigh|
|00001e70| 74 61 72 72 6f 77 24 5c | 20 26 20 20 43 20 5c 5c |tarrow$\| & C \\|
|00001e80| 0a 28 4c 41 53 54 20 7b | 5c 69 74 20 6c 69 73 74 |.(LAST {|\it list|
|00001e90| 5c 2f 7d 29 20 20 26 24 | 5c 65 71 75 69 76 24 26 |\/}) &$|\equiv$&|
|00001ea0| 20 20 28 43 41 52 20 28 | 4c 41 53 54 43 44 52 20 | (CAR (|LASTCDR |
|00001eb0| 7b 5c 69 74 20 6c 69 73 | 74 5c 2f 7d 29 29 0a 5c |{\it lis|t\/})).\|
|00001ec0| 65 6e 64 7b 74 61 62 75 | 6c 61 72 7d 0a 20 20 20 |end{tabu|lar}. |
|00001ed0| 20 5c 65 6e 64 7b 63 6f | 64 65 78 65 6e 76 7d 0a | \end{co|dexenv}.|
|00001ee0| 5c 65 6e 64 7b 69 6e 73 | 65 74 7d 20 0a 0a 5c 69 |\end{ins|et} ..\i|
|00001ef0| 6e 64 65 78 7b 4c 41 53 | 54 43 44 52 40 7b 5c 74 |ndex{LAS|TCDR@{\t|
|00001f00| 74 20 4c 41 53 54 43 44 | 52 7d 7d 0a 7b 5c 6d 62 |t LASTCD|R}}.{\mb|
|00001f10| 6f 78 20 7b 5c 74 74 20 | 28 4c 41 53 54 43 44 52 |ox {\tt |(LASTCDR|
|00001f20| 20 7b 5c 69 74 20 6c 69 | 73 74 5c 2f 7d 29 20 24 | {\it li|st\/}) $|
|00001f30| 5c 6c 6f 6e 67 72 69 67 | 68 74 61 72 72 6f 77 24 |\longrig|htarrow$|
|00001f40| 5c 20 20 7b 5c 69 74 20 | 70 61 69 72 5c 2f 7d 7d |\ {\it |pair\/}}|
|00001f50| 7d 0a 5c 68 66 69 6c 6c | 20 53 65 74 74 61 62 6c |}.\hfill| Settabl|
|00001f60| 65 0a 0a 5c 62 65 67 69 | 6e 7b 69 6e 73 65 74 7d |e..\begi|n{inset}|
|00001f70| 7b 7d 0a 52 65 74 75 72 | 6e 73 20 74 68 65 20 6c |{}.Retur|ns the l|
|00001f80| 61 73 74 20 70 61 69 72 | 20 69 6e 20 7b 5c 69 74 |ast pair| in {\it|
|00001f90| 20 6c 69 73 74 5c 2f 7d | 2e 0a 5c 62 65 67 69 6e | list\/}|..\begin|
|00001fa0| 7b 63 6f 64 65 78 65 6e | 76 7d 0a 20 20 20 20 5c |{codexen|v}. \|
|00001fb0| 62 65 67 69 6e 7b 74 61 | 62 75 6c 61 72 7d 7b 6c |begin{ta|bular}{l|
|00001fc0| 6c 6c 7d 0a 28 4c 41 53 | 54 43 44 52 20 27 28 41 |ll}.(LAS|TCDR '(A|
|00001fd0| 20 42 20 43 29 29 20 20 | 20 20 26 24 5c 4c 6f 6e | B C)) | &$\Lon|
|00001fe0| 67 72 69 67 68 74 61 72 | 72 6f 77 24 5c 20 26 20 |grightar|row$\ & |
|00001ff0| 20 28 43 29 20 5c 5c 0a | 28 4c 41 53 54 43 44 52 | (C) \\.|(LASTCDR|
|00002000| 20 27 28 41 20 42 20 2e | 20 43 29 29 20 20 26 24 | '(A B .| C)) &$|
|00002010| 5c 4c 6f 6e 67 72 69 67 | 68 74 61 72 72 6f 77 24 |\Longrig|htarrow$|
|00002020| 5c 20 26 20 20 28 42 20 | 2e 20 43 29 0a 5c 65 6e |\ & (B |. C).\en|
|00002030| 64 7b 74 61 62 75 6c 61 | 72 7d 0a 20 20 20 20 5c |d{tabula|r}. \|
|00002040| 65 6e 64 7b 63 6f 64 65 | 78 65 6e 76 7d 0a 20 20 |end{code|xenv}. |
|00002050| 20 20 5c 62 65 67 69 6e | 7b 69 6e 73 65 74 7d 7b | \begin|{inset}{|
|00002060| 42 75 67 3a 7d 0a 20 20 | 20 20 7b 5c 74 74 20 4c |Bug:}. | {\tt L|
|00002070| 41 53 54 43 44 52 7d 20 | 64 6f 65 73 6e 27 74 20 |ASTCDR} |doesn't |
|00002080| 68 61 6e 64 6c 65 20 7b | 5c 74 74 20 53 45 54 54 |handle {|\tt SETT|
|00002090| 45 52 7d 20 28 69 2e 65 | 2e 20 69 73 20 6e 6f 74 |ER} (i.e|. is not|
|000020a0| 20 73 65 74 74 61 62 6c | 65 29 20 69 6e 0a 20 20 | settabl|e) in. |
|000020b0| 20 20 7b 5c 62 66 20 54 | 7d 20 33 2e 31 2e 0a 20 | {\bf T|} 3.1.. |
|000020c0| 20 20 20 5c 65 6e 64 7b | 69 6e 73 65 74 7d 0a 5c | \end{|inset}.\|
|000020d0| 65 6e 64 7b 69 6e 73 65 | 74 7d 20 0a 0a 5c 73 65 |end{inse|t} ..\se|
|000020e0| 63 74 69 6f 6e 7b 4c 69 | 73 74 73 20 61 73 20 73 |ction{Li|sts as s|
|000020f0| 65 71 75 65 6e 63 65 73 | 7d 0a 0a 0a 5c 69 6e 64 |equences|}...\ind|
|00002100| 65 78 7b 4c 45 4e 47 54 | 48 40 7b 5c 74 74 20 4c |ex{LENGT|H@{\tt L|
|00002110| 45 4e 47 54 48 7d 7d 0a | 7b 5c 6d 62 6f 78 20 7b |ENGTH}}.|{\mbox {|
|00002120| 5c 74 74 20 28 4c 45 4e | 47 54 48 20 7b 5c 69 74 |\tt (LEN|GTH {\it|
|00002130| 20 6c 69 73 74 5c 2f 7d | 29 20 24 5c 6c 6f 6e 67 | list\/}|) $\long|
|00002140| 72 69 67 68 74 61 72 72 | 6f 77 24 5c 20 20 7b 5c |rightarr|ow$\ {\|
|00002150| 69 74 20 69 6e 74 65 67 | 65 72 5c 2f 7d 7d 7d 0a |it integ|er\/}}}.|
|00002160| 5c 68 66 69 6c 6c 20 20 | 0a 0a 5c 62 65 67 69 6e |\hfill |..\begin|
|00002170| 7b 69 6e 73 65 74 7d 7b | 7d 0a 52 65 74 75 72 6e |{inset}{|}.Return|
|00002180| 20 74 68 65 20 6c 65 6e | 67 74 68 20 6f 66 20 7b | the len|gth of {|
|00002190| 5c 69 74 20 6c 69 73 74 | 5c 2f 7d 2e 0a 5c 62 65 |\it list|\/}..\be|
|000021a0| 67 69 6e 7b 63 6f 64 65 | 78 65 6e 76 7d 0a 20 20 |gin{code|xenv}. |
|000021b0| 20 20 5c 62 65 67 69 6e | 7b 74 61 62 75 6c 61 72 | \begin|{tabular|
|000021c0| 7d 7b 6c 6c 6c 7d 0a 28 | 4c 45 4e 47 54 48 20 27 |}{lll}.(|LENGTH '|
|000021d0| 28 29 29 20 20 20 20 20 | 20 20 26 24 5c 4c 6f 6e |()) | &$\Lon|
|000021e0| 67 72 69 67 68 74 61 72 | 72 6f 77 24 5c 20 26 20 |grightar|row$\ & |
|000021f0| 20 30 20 5c 5c 0a 28 4c | 45 4e 47 54 48 20 27 28 | 0 \\.(L|ENGTH '(|
|00002200| 41 20 42 20 43 29 29 20 | 20 26 24 5c 4c 6f 6e 67 |A B C)) | &$\Long|
|00002210| 72 69 67 68 74 61 72 72 | 6f 77 24 5c 20 26 20 20 |rightarr|ow$\ & |
|00002220| 33 0a 5c 65 6e 64 7b 74 | 61 62 75 6c 61 72 7d 0a |3.\end{t|abular}.|
|00002230| 20 20 20 20 5c 65 6e 64 | 7b 63 6f 64 65 78 65 6e | \end|{codexen|
|00002240| 76 7d 0a 5c 65 6e 64 7b | 69 6e 73 65 74 7d 20 0a |v}.\end{|inset} .|
|00002250| 0a 5c 69 6e 64 65 78 7b | 41 50 50 45 4e 44 40 7b |.\index{|APPEND@{|
|00002260| 5c 74 74 20 41 50 50 45 | 4e 44 7d 7d 0a 7b 5c 6d |\tt APPE|ND}}.{\m|
|00002270| 62 6f 78 20 7b 5c 74 74 | 20 28 41 50 50 45 4e 44 |box {\tt| (APPEND|
|00002280| 20 2e 20 7b 5c 69 74 20 | 6c 69 73 74 73 5c 2f 7d | . {\it |lists\/}|
|00002290| 29 20 24 5c 6c 6f 6e 67 | 72 69 67 68 74 61 72 72 |) $\long|rightarr|
|000022a0| 6f 77 24 5c 20 20 7b 5c | 69 74 20 6c 69 73 74 5c |ow$\ {\|it list\|
|000022b0| 2f 7d 7d 7d 0a 5c 68 66 | 69 6c 6c 20 20 0a 0a 5c |/}}}.\hf|ill ..\|
|000022c0| 62 65 67 69 6e 7b 69 6e | 73 65 74 7d 7b 7d 0a 43 |begin{in|set}{}.C|
|000022d0| 6f 6e 73 74 72 75 63 74 | 73 20 61 20 6c 69 73 74 |onstruct|s a list|
|000022e0| 20 77 68 69 63 68 20 69 | 73 20 74 68 65 20 63 6f | which i|s the co|
|000022f0| 6e 63 61 74 65 6e 61 74 | 69 6f 6e 20 6f 66 20 7b |ncatenat|ion of {|
|00002300| 5c 69 74 20 6c 69 73 74 | 73 5c 2f 7d 2e 0a 41 20 |\it list|s\/}..A |
|00002310| 6e 65 77 20 6c 69 73 74 | 20 69 73 20 63 6f 6e 73 |new list| is cons|
|00002320| 74 72 75 63 74 65 64 2c | 20 65 78 63 65 70 74 20 |tructed,| except |
|00002330| 74 68 61 74 20 74 68 65 | 20 72 65 73 75 6c 74 20 |that the| result |
|00002340| 68 61 73 0a 74 68 65 20 | 6c 61 73 74 20 6e 6f 6e |has.the |last non|
|00002350| 2d 6e 75 6c 6c 20 61 72 | 67 75 6d 65 6e 74 20 61 |-null ar|gument a|
|00002360| 73 20 61 20 74 61 69 6c | 2e 0a 5c 62 65 67 69 6e |s a tail|..\begin|
|00002370| 7b 63 6f 64 65 78 65 6e | 76 7d 0a 28 41 50 50 45 |{codexen|v}.(APPE|
|00002380| 4e 44 20 27 28 41 20 42 | 20 43 29 20 27 28 44 20 |ND '(A B| C) '(D |
|00002390| 45 29 20 27 28 46 20 47 | 29 29 20 20 24 5c 4c 6f |E) '(F G|)) $\Lo|
|000023a0| 6e 67 72 69 67 68 74 61 | 72 72 6f 77 24 5c 20 20 |ngrighta|rrow$\ |
|000023b0| 20 28 41 20 42 20 43 20 | 44 20 45 20 46 20 47 29 | (A B C |D E F G)|
|000023c0| 0a 5c 65 6e 64 7b 63 6f | 64 65 78 65 6e 76 7d 0a |.\end{co|dexenv}.|
|000023d0| 5c 65 6e 64 7b 69 6e 73 | 65 74 7d 20 0a 0a 0a 5c |\end{ins|et} ...\|
|000023e0| 69 6e 64 65 78 7b 41 50 | 50 45 4e 44 21 40 7b 5c |index{AP|PEND!@{\|
|000023f0| 74 74 20 41 50 50 45 4e | 44 21 7d 7d 0a 7b 5c 6d |tt APPEN|D!}}.{\m|
|00002400| 62 6f 78 20 7b 5c 74 74 | 20 28 41 50 50 45 4e 44 |box {\tt| (APPEND|
|00002410| 21 20 2e 20 7b 5c 69 74 | 20 6c 69 73 74 73 5c 2f |! . {\it| lists\/|
|00002420| 7d 29 20 24 5c 6c 6f 6e | 67 72 69 67 68 74 61 72 |}) $\lon|grightar|
|00002430| 72 6f 77 24 5c 20 20 7b | 5c 69 74 20 6c 69 73 74 |row$\ {|\it list|
|00002440| 5c 2f 7d 7d 7d 0a 5c 68 | 66 69 6c 6c 20 20 0a 0a |\/}}}.\h|fill ..|
|00002450| 5c 62 65 67 69 6e 7b 69 | 6e 73 65 74 7d 7b 7d 0a |\begin{i|nset}{}.|
|00002460| 44 65 73 74 72 75 63 74 | 69 76 65 20 76 65 72 73 |Destruct|ive vers|
|00002470| 69 6f 6e 20 6f 66 20 7b | 5c 74 74 20 41 50 50 45 |ion of {|\tt APPE|
|00002480| 4e 44 7d 2e 20 20 53 70 | 6c 69 63 65 73 20 74 68 |ND}. Sp|lices th|
|00002490| 65 20 6c 69 73 74 73 20 | 74 6f 67 65 74 68 65 72 |e lists |together|
|000024a0| 2c 0a 73 65 74 74 69 6e | 67 20 74 68 65 20 63 64 |,.settin|g the cd|
|000024b0| 72 20 6f 66 20 74 68 65 | 20 6c 61 73 74 20 70 61 |r of the| last pa|
|000024c0| 69 72 20 69 6e 20 74 68 | 65 20 66 69 72 73 74 20 |ir in th|e first |
|000024d0| 6c 69 73 74 20 74 6f 0a | 74 68 65 20 73 65 63 6f |list to.|the seco|
|000024e0| 6e 64 20 6c 69 73 74 2c | 20 61 6e 64 20 73 6f 20 |nd list,| and so |
|000024f0| 6f 6e 2e 20 20 52 65 74 | 75 72 6e 73 20 69 74 73 |on. Ret|urns its|
|00002500| 20 66 69 72 73 74 20 6e | 6f 6e 2d 6e 75 6c 6c 20 | first n|on-null |
|00002510| 61 72 67 75 6d 65 6e 74 | 2e 0a 5c 62 65 67 69 6e |argument|..\begin|
|00002520| 7b 63 6f 64 65 78 65 6e | 76 7d 0a 20 20 20 20 5c |{codexen|v}. \|
|00002530| 62 65 67 69 6e 7b 74 61 | 62 75 6c 61 72 7d 7b 6c |begin{ta|bular}{l|
|00002540| 6c 6c 7d 0a 28 44 45 46 | 49 4e 45 20 4c 31 20 28 |ll}.(DEF|INE L1 (|
|00002550| 4c 49 53 54 20 27 41 20 | 27 42 20 27 43 29 29 20 |LIST 'A |'B 'C)) |
|00002560| 5c 5c 0a 28 44 45 46 49 | 4e 45 20 4c 32 20 28 4c |\\.(DEFI|NE L2 (L|
|00002570| 49 53 54 20 27 44 20 27 | 45 29 29 20 5c 5c 0a 4c |IST 'D '|E)) \\.L|
|00002580| 31 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |1 | |
|00002590| 20 26 24 5c 4c 6f 6e 67 | 72 69 67 68 74 61 72 72 | &$\Long|rightarr|
|000025a0| 6f 77 24 5c 20 26 20 20 | 28 41 20 42 20 43 29 20 |ow$\ & |(A B C) |
|000025b0| 5c 5c 0a 28 41 50 50 45 | 4e 44 21 20 4c 31 20 4c |\\.(APPE|ND! L1 L|
|000025c0| 32 29 20 20 20 26 24 5c | 4c 6f 6e 67 72 69 67 68 |2) &$\|Longrigh|
|000025d0| 74 61 72 72 6f 77 24 5c | 20 26 20 20 28 41 20 42 |tarrow$\| & (A B|
|000025e0| 20 43 20 44 20 45 29 20 | 5c 5c 0a 4c 31 20 20 20 | C D E) |\\.L1 |
|000025f0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 26 24 5c | | &$\|
|00002600| 4c 6f 6e 67 72 69 67 68 | 74 61 72 72 6f 77 24 5c |Longrigh|tarrow$\|
|00002610| 20 26 20 20 28 41 20 42 | 20 43 20 44 20 45 29 20 | & (A B| C D E) |
|00002620| 5c 5c 0a 28 41 50 50 45 | 4e 44 21 20 27 28 29 20 |\\.(APPE|ND! '() |
|00002630| 4c 32 29 20 20 26 24 5c | 4c 6f 6e 67 72 69 67 68 |L2) &$\|Longrigh|
|00002640| 74 61 72 72 6f 77 24 5c | 20 26 20 20 28 44 20 45 |tarrow$\| & (D E|
|00002650| 29 0a 5c 65 6e 64 7b 74 | 61 62 75 6c 61 72 7d 0a |).\end{t|abular}.|
|00002660| 20 20 20 20 5c 65 6e 64 | 7b 63 6f 64 65 78 65 6e | \end|{codexen|
|00002670| 76 7d 0a 5c 65 6e 64 7b | 69 6e 73 65 74 7d 20 0a |v}.\end{|inset} .|
|00002680| 0a 5c 69 6e 64 65 78 7b | 52 45 56 45 52 53 45 40 |.\index{|REVERSE@|
|00002690| 7b 5c 74 74 20 52 45 56 | 45 52 53 45 7d 7d 0a 7b |{\tt REV|ERSE}}.{|
|000026a0| 5c 6d 62 6f 78 20 7b 5c | 74 74 20 28 52 45 56 45 |\mbox {\|tt (REVE|
|000026b0| 52 53 45 20 7b 5c 69 74 | 20 6c 69 73 74 5c 2f 7d |RSE {\it| list\/}|
|000026c0| 29 20 24 5c 6c 6f 6e 67 | 72 69 67 68 74 61 72 72 |) $\long|rightarr|
|000026d0| 6f 77 24 5c 20 20 7b 5c | 69 74 20 6c 69 73 74 5c |ow$\ {\|it list\|
|000026e0| 2f 7d 7d 7d 0a 5c 68 66 | 69 6c 6c 20 20 0a 0a 5c |/}}}.\hf|ill ..\|
|000026f0| 62 65 67 69 6e 7b 69 6e | 73 65 74 7d 7b 7d 0a 52 |begin{in|set}{}.R|
|00002700| 65 74 75 72 6e 73 20 61 | 20 6e 65 77 20 6c 69 73 |eturns a| new lis|
|00002710| 74 20 77 68 6f 73 65 20 | 65 6c 65 6d 65 6e 74 73 |t whose |elements|
|00002720| 20 61 72 65 20 74 68 6f | 73 65 20 6f 66 20 7b 5c | are tho|se of {\|
|00002730| 69 74 20 6c 69 73 74 5c | 2f 7d 2c 20 69 6e 20 72 |it list\|/}, in r|
|00002740| 65 76 65 72 73 65 20 6f | 72 64 65 72 2e 0a 5c 62 |everse o|rder..\b|
|00002750| 65 67 69 6e 7b 63 6f 64 | 65 78 65 6e 76 7d 0a 28 |egin{cod|exenv}.(|
|00002760| 52 45 56 45 52 53 45 20 | 27 28 41 20 42 20 43 29 |REVERSE |'(A B C)|
|00002770| 29 20 20 24 5c 4c 6f 6e | 67 72 69 67 68 74 61 72 |) $\Lon|grightar|
|00002780| 72 6f 77 24 5c 20 20 20 | 28 43 20 42 20 41 29 0a |row$\ |(C B A).|
|00002790| 5c 65 6e 64 7b 63 6f 64 | 65 78 65 6e 76 7d 0a 5c |\end{cod|exenv}.\|
|000027a0| 65 6e 64 7b 69 6e 73 65 | 74 7d 20 0a 0a 0a 5c 69 |end{inse|t} ...\i|
|000027b0| 6e 64 65 78 7b 52 45 56 | 45 52 53 45 21 40 7b 5c |ndex{REV|ERSE!@{\|
|000027c0| 74 74 20 52 45 56 45 52 | 53 45 21 7d 7d 0a 7b 5c |tt REVER|SE!}}.{\|
|000027d0| 6d 62 6f 78 20 7b 5c 74 | 74 20 28 52 45 56 45 52 |mbox {\t|t (REVER|
|000027e0| 53 45 21 20 7b 5c 69 74 | 20 6c 69 73 74 5c 2f 7d |SE! {\it| list\/}|
|000027f0| 29 20 24 5c 6c 6f 6e 67 | 72 69 67 68 74 61 72 72 |) $\long|rightarr|
|00002800| 6f 77 24 5c 20 20 7b 5c | 69 74 20 6c 69 73 74 5c |ow$\ {\|it list\|
|00002810| 2f 7d 7d 7d 0a 5c 68 66 | 69 6c 6c 20 20 0a 0a 5c |/}}}.\hf|ill ..\|
|00002820| 62 65 67 69 6e 7b 69 6e | 73 65 74 7d 7b 7d 0a 54 |begin{in|set}{}.T|
|00002830| 68 69 73 20 69 73 20 61 | 20 60 60 64 65 73 74 72 |his is a| ``destr|
|00002840| 75 63 74 69 76 65 27 27 | 20 76 65 72 73 69 6f 6e |uctive''| version|
|00002850| 20 6f 66 20 7b 5c 74 74 | 20 52 45 56 45 52 53 45 | of {\tt| REVERSE|
|00002860| 7d 3b 0a 69 74 20 61 6c | 6c 6f 63 61 74 65 73 20 |};.it al|locates |
|00002870| 6e 6f 20 73 74 6f 72 61 | 67 65 20 66 6f 72 20 74 |no stora|ge for t|
|00002880| 68 65 20 72 65 73 75 6c | 74 2c 20 62 75 74 20 72 |he resul|t, but r|
|00002890| 61 74 68 65 72 20 72 65 | 63 79 63 6c 65 73 0a 74 |ather re|cycles.t|
|000028a0| 68 65 20 70 61 69 72 73 | 20 69 6e 20 74 68 65 20 |he pairs| in the |
|000028b0| 73 6f 75 72 63 65 20 7b | 5c 69 74 20 6c 69 73 74 |source {|\it list|
|000028c0| 5c 2f 7d 27 73 20 74 6f | 20 66 6f 72 6d 20 74 68 |\/}'s to| form th|
|000028d0| 65 20 72 65 73 75 6c 74 | 20 6c 69 73 74 2e 0a 5c |e result| list..\|
|000028e0| 69 6e 64 65 78 7b 64 65 | 73 74 72 75 63 74 69 76 |index{de|structiv|
|000028f0| 65 7d 0a 5c 65 6e 64 7b | 69 6e 73 65 74 7d 20 0a |e}.\end{|inset} .|
|00002900| 0a 5c 69 6e 64 65 78 7b | 53 55 42 4c 49 53 54 40 |.\index{|SUBLIST@|
|00002910| 7b 5c 74 74 20 53 55 42 | 4c 49 53 54 7d 7d 0a 7b |{\tt SUB|LIST}}.{|
|00002920| 5c 6d 62 6f 78 20 7b 5c | 74 74 20 28 53 55 42 4c |\mbox {\|tt (SUBL|
|00002930| 49 53 54 20 7b 5c 69 74 | 20 6c 69 73 74 5c 2f 7d |IST {\it| list\/}|
|00002940| 20 7b 5c 69 74 20 73 74 | 61 72 74 5c 2f 7d 20 7b | {\it st|art\/} {|
|00002950| 5c 69 74 20 63 6f 75 6e | 74 5c 2f 7d 29 20 24 5c |\it coun|t\/}) $\|
|00002960| 6c 6f 6e 67 72 69 67 68 | 74 61 72 72 6f 77 24 5c |longrigh|tarrow$\|
|00002970| 20 20 7b 5c 69 74 20 6c | 69 73 74 5c 2f 7d 7d 7d | {\it l|ist\/}}}|
|00002980| 0a 5c 68 66 69 6c 6c 20 | 20 0a 0a 5c 62 65 67 69 |.\hfill | ..\begi|
|00002990| 6e 7b 69 6e 73 65 74 7d | 7b 7d 0a 52 65 74 75 72 |n{inset}|{}.Retur|
|000029a0| 6e 73 20 61 20 6c 69 73 | 74 20 6f 66 20 7b 5c 69 |ns a lis|t of {\i|
|000029b0| 74 20 63 6f 75 6e 74 5c | 2f 7d 20 65 6c 65 6d 65 |t count\|/} eleme|
|000029c0| 6e 74 73 20 6f 66 20 7b | 5c 69 74 20 6c 69 73 74 |nts of {|\it list|
|000029d0| 5c 2f 7d 2c 0a 62 65 67 | 69 6e 6e 69 6e 67 20 77 |\/},.beg|inning w|
|000029e0| 69 74 68 20 65 6c 65 6d | 65 6e 74 20 7b 5c 69 74 |ith elem|ent {\it|
|000029f0| 20 73 74 61 72 74 5c 2f | 7d 2e 0a 5c 62 65 67 69 | start\/|}..\begi|
|00002a00| 6e 7b 63 6f 64 65 78 65 | 6e 76 7d 0a 28 53 55 42 |n{codexe|nv}.(SUB|
|00002a10| 4c 49 53 54 20 27 28 41 | 20 42 20 43 20 44 20 45 |LIST '(A| B C D E|
|00002a20| 20 46 29 20 32 20 33 29 | 20 20 24 5c 4c 6f 6e 67 | F) 2 3)| $\Long|
|00002a30| 72 69 67 68 74 61 72 72 | 6f 77 24 5c 20 20 20 28 |rightarr|ow$\ (|
|00002a40| 43 20 44 20 45 29 0a 5c | 65 6e 64 7b 63 6f 64 65 |C D E).\|end{code|
|00002a50| 78 65 6e 76 7d 0a 5c 65 | 6e 64 7b 69 6e 73 65 74 |xenv}.\e|nd{inset|
|00002a60| 7d 20 0a 0a 5c 73 65 63 | 74 69 6f 6e 7b 4c 69 73 |} ..\sec|tion{Lis|
|00002a70| 74 73 20 61 73 20 73 65 | 74 73 7d 0a 0a 0a 5c 69 |ts as se|ts}...\i|
|00002a80| 6e 64 65 78 7b 4d 45 4d | 51 3f 40 7b 5c 74 74 20 |ndex{MEM|Q?@{\tt |
|00002a90| 4d 45 4d 51 3f 7d 7d 0a | 7b 5c 6d 62 6f 78 20 7b |MEMQ?}}.|{\mbox {|
|00002aa0| 5c 74 74 20 28 4d 45 4d | 51 3f 20 7b 5c 69 74 20 |\tt (MEM|Q? {\it |
|00002ab0| 6f 62 6a 65 63 74 20 6c | 69 73 74 5c 2f 7d 29 20 |object l|ist\/}) |
|00002ac0| 24 5c 6c 6f 6e 67 72 69 | 67 68 74 61 72 72 6f 77 |$\longri|ghtarrow|
|00002ad0| 24 5c 20 20 7b 5c 69 74 | 20 62 6f 6f 6c 65 61 6e |$\ {\it| boolean|
|00002ae0| 5c 2f 7d 7d 7d 0a 5c 68 | 66 69 6c 6c 20 20 0a 0a |\/}}}.\h|fill ..|
|00002af0| 5c 62 65 67 69 6e 7b 69 | 6e 73 65 74 7d 7b 7d 0a |\begin{i|nset}{}.|
|00002b00| 52 65 74 75 72 6e 73 20 | 74 72 75 65 20 69 66 20 |Returns |true if |
|00002b10| 7b 5c 69 74 20 6f 62 6a | 65 63 74 5c 2f 7d 20 69 |{\it obj|ect\/} i|
|00002b20| 73 20 61 6e 20 65 6c 65 | 6d 65 6e 74 20 6f 66 20 |s an ele|ment of |
|00002b30| 7b 5c 69 74 20 6c 69 73 | 74 5c 2f 7d 2e 0a 5c 62 |{\it lis|t\/}..\b|
|00002b40| 65 67 69 6e 7b 63 6f 64 | 65 78 65 6e 76 7d 0a 20 |egin{cod|exenv}. |
|00002b50| 20 20 20 5c 62 65 67 69 | 6e 7b 74 61 62 75 6c 61 | \begi|n{tabula|
|00002b60| 72 7d 7b 6c 6c 6c 7d 0a | 28 4d 45 4d 51 3f 20 27 |r}{lll}.|(MEMQ? '|
|00002b70| 42 20 27 28 41 20 42 20 | 43 29 29 20 20 20 20 20 |B '(A B |C)) |
|00002b80| 20 20 20 20 20 20 26 24 | 5c 4c 6f 6e 67 72 69 67 | &$|\Longrig|
|00002b90| 68 74 61 72 72 6f 77 24 | 5c 20 26 20 20 7b 5c 69 |htarrow$|\ & {\i|
|00002ba0| 74 20 74 72 75 65 7d 20 | 5c 5c 0a 28 4d 45 4d 51 |t true} |\\.(MEMQ|
|00002bb0| 3f 20 27 42 20 27 28 41 | 20 28 42 20 43 29 20 44 |? 'B '(A| (B C) D|
|00002bc0| 29 29 20 20 20 20 20 20 | 20 26 24 5c 4c 6f 6e 67 |)) | &$\Long|
|00002bd0| 72 69 67 68 74 61 72 72 | 6f 77 24 5c 20 26 20 20 |rightarr|ow$\ & |
|00002be0| 7b 5c 69 74 20 66 61 6c | 73 65 7d 20 5c 5c 0a 28 |{\it fal|se} \\.(|
|00002bf0| 4d 45 4d 51 3f 20 27 42 | 20 27 28 42 29 29 20 20 |MEMQ? 'B| '(B)) |
|00002c00| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 26 24 5c | | &$\|
|00002c10| 4c 6f 6e 67 72 69 67 68 | 74 61 72 72 6f 77 24 5c |Longrigh|tarrow$\|
|00002c20| 20 26 20 20 7b 5c 69 74 | 20 74 72 75 65 7d 20 5c | & {\it| true} \|
|00002c30| 5c 0a 28 4d 45 4d 51 3f | 20 27 42 20 27 28 29 29 |\.(MEMQ?| 'B '())|
|00002c40| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00002c50| 26 24 5c 4c 6f 6e 67 72 | 69 67 68 74 61 72 72 6f |&$\Longr|ightarro|
|00002c60| 77 24 5c 20 26 20 20 7b | 5c 69 74 20 66 61 6c 73 |w$\ & {|\it fals|
|00002c70| 65 7d 20 5c 5c 0a 28 4d | 45 4d 51 3f 20 31 37 20 |e} \\.(M|EMQ? 17 |
|00002c80| 27 28 31 30 20 31 37 29 | 29 20 20 20 20 20 20 20 |'(10 17)|) |
|00002c90| 20 20 20 20 26 24 5c 4c | 6f 6e 67 72 69 67 68 74 | &$\L|ongright|
|00002ca0| 61 72 72 6f 77 24 5c 20 | 26 20 20 7b 5c 72 6d 20 |arrow$\ |& {\rm |
|00002cb0| 75 6e 64 65 66 69 6e 65 | 64 7d 20 5c 5c 0a 28 4d |undefine|d} \\.(M|
|00002cc0| 45 4d 51 3f 20 66 6f 6f | 20 27 28 66 6f 6f 20 62 |EMQ? foo| '(foo b|
|00002cd0| 61 72 29 29 20 20 26 24 | 5c 4c 6f 6e 67 72 69 67 |ar)) &$|\Longrig|
|00002ce0| 68 74 61 72 72 6f 77 24 | 5c 20 26 20 20 7b 5c 72 |htarrow$|\ & {\r|
|00002cf0| 6d 20 75 6e 64 65 66 69 | 6e 65 64 7d 20 5c 5c 0a |m undefi|ned} \\.|
|00002d00| 28 4c 45 54 20 28 28 58 | 20 66 6f 6f 29 29 20 5c |(LET ((X| foo)) \|
|00002d10| 5c 0a 20 20 28 4d 45 4d | 51 3f 20 58 20 28 4c 49 |\. (MEM|Q? X (LI|
|00002d20| 53 54 20 27 42 20 58 29 | 29 29 20 20 20 20 20 20 |ST 'B X)|)) |
|00002d30| 26 24 5c 4c 6f 6e 67 72 | 69 67 68 74 61 72 72 6f |&$\Longr|ightarro|
|00002d40| 77 24 5c 20 26 20 20 7b | 5c 69 74 20 74 72 75 65 |w$\ & {|\it true|
|00002d50| 7d 0a 5c 65 6e 64 7b 74 | 61 62 75 6c 61 72 7d 0a |}.\end{t|abular}.|
|00002d60| 20 20 20 20 5c 65 6e 64 | 7b 63 6f 64 65 78 65 6e | \end|{codexen|
|00002d70| 76 7d 0a 5c 65 6e 64 7b | 69 6e 73 65 74 7d 20 0a |v}.\end{|inset} .|
|00002d80| 0a 5c 69 6e 64 65 78 7b | 4d 45 4d 3f 40 7b 5c 74 |.\index{|MEM?@{\t|
|00002d90| 74 20 4d 45 4d 3f 7d 7d | 0a 7b 5c 6d 62 6f 78 20 |t MEM?}}|.{\mbox |
|00002da0| 7b 5c 74 74 20 28 4d 45 | 4d 3f 20 7b 5c 69 74 20 |{\tt (ME|M? {\it |
|00002db0| 70 72 65 64 69 63 61 74 | 65 20 6f 62 6a 65 63 74 |predicat|e object|
|00002dc0| 20 6c 69 73 74 5c 2f 7d | 29 20 24 5c 6c 6f 6e 67 | list\/}|) $\long|
|00002dd0| 72 69 67 68 74 61 72 72 | 6f 77 24 5c 20 20 7b 5c |rightarr|ow$\ {\|
|00002de0| 69 74 20 62 6f 6f 6c 65 | 61 6e 5c 2f 7d 7d 7d 0a |it boole|an\/}}}.|
|00002df0| 5c 68 66 69 6c 6c 20 20 | 0a 0a 5c 62 65 67 69 6e |\hfill |..\begin|
|00002e00| 7b 69 6e 73 65 74 7d 7b | 7d 0a 52 65 74 75 72 6e |{inset}{|}.Return|
|00002e10| 73 20 74 72 75 65 20 69 | 66 20 7b 5c 69 74 20 6c |s true i|f {\it l|
|00002e20| 69 73 74 5c 2f 7d 20 63 | 6f 6e 74 61 69 6e 73 20 |ist\/} c|ontains |
|00002e30| 61 6e 20 6f 62 6a 65 63 | 74 20 77 68 69 63 68 0a |an objec|t which.|
|00002e40| 69 73 20 65 71 75 61 6c | 20 74 6f 20 7b 5c 69 74 |is equal| to {\it|
|00002e50| 20 6f 62 6a 65 63 74 5c | 2f 7d 20 61 63 63 6f 72 | object\|/} accor|
|00002e60| 64 69 6e 67 20 74 6f 20 | 7b 5c 69 74 20 70 72 65 |ding to |{\it pre|
|00002e70| 64 69 63 61 74 65 5c 2f | 7d 2c 0a 77 68 69 63 68 |dicate\/|},.which|
|00002e80| 20 73 68 6f 75 6c 64 20 | 62 65 20 61 6e 20 65 71 | should |be an eq|
|00002e90| 75 61 6c 69 74 79 20 70 | 72 65 64 69 63 61 74 65 |uality p|redicate|
|00002ea0| 2e 0a 5c 62 65 67 69 6e | 7b 63 6f 64 65 78 65 6e |..\begin|{codexen|
|00002eb0| 76 7d 0a 20 20 20 20 5c | 62 65 67 69 6e 7b 74 61 |v}. \|begin{ta|
|00002ec0| 62 75 6c 61 72 7d 7b 6c | 6c 6c 7d 0a 28 4d 45 4d |bular}{l|ll}.(MEM|
|00002ed0| 3f 20 3d 20 31 37 20 27 | 28 31 30 20 31 37 29 29 |? = 17 '|(10 17))|
|00002ee0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00002ef0| 20 20 20 20 20 20 20 26 | 24 5c 4c 6f 6e 67 72 69 | &|$\Longri|
|00002f00| 67 68 74 61 72 72 6f 77 | 24 5c 20 26 20 20 7b 5c |ghtarrow|$\ & {\|
|00002f10| 69 74 20 74 72 75 65 7d | 20 5c 5c 0a 28 4d 45 4d |it true}| \\.(MEM|
|00002f20| 3f 20 53 54 52 49 4e 47 | 2d 45 51 55 41 4c 3f 20 |? STRING|-EQUAL? |
|00002f30| 66 6f 6f 20 27 28 66 6f | 6f 20 62 61 72 29 29 20 |foo '(fo|o bar)) |
|00002f40| 20 26 24 5c 4c 6f 6e 67 | 72 69 67 68 74 61 72 72 | &$\Long|rightarr|
|00002f50| 6f 77 24 5c 20 26 20 20 | 7b 5c 69 74 20 74 72 75 |ow$\ & |{\it tru|
|00002f60| 65 7d 0a 5c 65 6e 64 7b | 74 61 62 75 6c 61 72 7d |e}.\end{|tabular}|
|00002f70| 0a 20 20 20 20 5c 65 6e | 64 7b 63 6f 64 65 78 65 |. \en|d{codexe|
|00002f80| 6e 76 7d 0a 5c 65 6e 64 | 7b 69 6e 73 65 74 7d 20 |nv}.\end|{inset} |
|00002f90| 0a 0a 5c 69 6e 64 65 78 | 7b 41 4e 59 3f 40 7b 5c |..\index|{ANY?@{\|
|00002fa0| 74 74 20 41 4e 59 3f 7d | 7d 0a 7b 5c 6d 62 6f 78 |tt ANY?}|}.{\mbox|
|00002fb0| 20 7b 5c 74 74 20 28 41 | 4e 59 3f 20 7b 5c 69 74 | {\tt (A|NY? {\it|
|00002fc0| 20 70 72 65 64 69 63 61 | 74 65 5c 2f 7d 20 2e 20 | predica|te\/} . |
|00002fd0| 7b 5c 69 74 20 6c 69 73 | 74 73 5c 2f 7d 29 20 24 |{\it lis|ts\/}) $|
|00002fe0| 5c 6c 6f 6e 67 72 69 67 | 68 74 61 72 72 6f 77 24 |\longrig|htarrow$|
|00002ff0| 5c 20 20 7b 5c 69 74 20 | 62 6f 6f 6c 65 61 6e 5c |\ {\it |boolean\|
|00003000| 2f 7d 7d 7d 0a 5c 68 66 | 69 6c 6c 20 20 0a 0a 5c |/}}}.\hf|ill ..\|
|00003010| 62 65 67 69 6e 7b 69 6e | 73 65 74 7d 7b 7d 0a 52 |begin{in|set}{}.R|
|00003020| 65 74 75 72 6e 73 20 74 | 72 75 65 20 69 66 20 61 |eturns t|rue if a|
|00003030| 6e 79 20 65 6c 65 6d 65 | 6e 74 20 6f 66 20 7b 5c |ny eleme|nt of {\|
|00003040| 69 74 20 6c 69 73 74 5c | 2f 7d 20 61 6e 73 77 65 |it list\|/} answe|
|00003050| 72 73 20 74 72 75 65 20 | 74 6f 20 7b 5c 69 74 20 |rs true |to {\it |
|00003060| 70 72 65 64 69 63 61 74 | 65 5c 2f 7d 2e 0a 5c 62 |predicat|e\/}..\b|
|00003070| 65 67 69 6e 7b 63 6f 64 | 65 78 65 6e 76 7d 0a 28 |egin{cod|exenv}.(|
|00003080| 41 4e 59 3f 20 4e 55 4d | 42 45 52 3f 20 27 28 46 |ANY? NUM|BER? '(F|
|00003090| 4f 4f 20 31 35 20 42 41 | 52 29 29 20 20 24 5c 4c |OO 15 BA|R)) $\L|
|000030a0| 6f 6e 67 72 69 67 68 74 | 61 72 72 6f 77 24 5c 20 |ongright|arrow$\ |
|000030b0| 20 20 7b 5c 69 74 20 74 | 72 75 65 7d 0a 5c 65 6e | {\it t|rue}.\en|
|000030c0| 64 7b 63 6f 64 65 78 65 | 6e 76 7d 0a 5c 65 6e 64 |d{codexe|nv}.\end|
|000030d0| 7b 69 6e 73 65 74 7d 20 | 0a 0a 5c 69 6e 64 65 78 |{inset} |..\index|
|000030e0| 7b 45 56 45 52 59 3f 40 | 7b 5c 74 74 20 45 56 45 |{EVERY?@|{\tt EVE|
|000030f0| 52 59 3f 7d 7d 0a 7b 5c | 6d 62 6f 78 20 7b 5c 74 |RY?}}.{\|mbox {\t|
|00003100| 74 20 28 45 56 45 52 59 | 3f 20 7b 5c 69 74 20 70 |t (EVERY|? {\it p|
|00003110| 72 65 64 69 63 61 74 65 | 5c 2f 7d 20 2e 20 7b 5c |redicate|\/} . {\|
|00003120| 69 74 20 6c 69 73 74 73 | 5c 2f 7d 29 20 24 5c 6c |it lists|\/}) $\l|
|00003130| 6f 6e 67 72 69 67 68 74 | 61 72 72 6f 77 24 5c 20 |ongright|arrow$\ |
|00003140| 20 7b 5c 69 74 20 62 6f | 6f 6c 65 61 6e 5c 2f 7d | {\it bo|olean\/}|
|00003150| 7d 7d 0a 5c 68 66 69 6c | 6c 20 20 0a 0a 5c 62 65 |}}.\hfil|l ..\be|
|00003160| 67 69 6e 7b 69 6e 73 65 | 74 7d 7b 7d 0a 52 65 74 |gin{inse|t}{}.Ret|
|00003170| 75 72 6e 73 20 74 72 75 | 65 20 69 66 20 65 76 65 |urns tru|e if eve|
|00003180| 72 79 20 65 6c 65 6d 65 | 6e 74 20 6f 66 20 7b 5c |ry eleme|nt of {\|
|00003190| 69 74 20 6c 69 73 74 5c | 2f 7d 20 61 6e 73 77 65 |it list\|/} answe|
|000031a0| 72 73 20 74 72 75 65 20 | 74 6f 20 7b 5c 69 74 20 |rs true |to {\it |
|000031b0| 70 72 65 64 69 63 61 74 | 65 5c 2f 7d 2e 0a 5c 62 |predicat|e\/}..\b|
|000031c0| 65 67 69 6e 7b 63 6f 64 | 65 78 65 6e 76 7d 0a 28 |egin{cod|exenv}.(|
|000031d0| 45 56 45 52 59 3f 20 53 | 59 4d 42 4f 4c 3f 20 27 |EVERY? S|YMBOL? '|
|000031e0| 28 41 20 42 20 43 29 29 | 20 20 24 5c 4c 6f 6e 67 |(A B C))| $\Long|
|000031f0| 72 69 67 68 74 61 72 72 | 6f 77 24 5c 20 20 20 7b |rightarr|ow$\ {|
|00003200| 5c 69 74 20 74 72 75 65 | 7d 0a 5c 65 6e 64 7b 63 |\it true|}.\end{c|
|00003210| 6f 64 65 78 65 6e 76 7d | 0a 5c 65 6e 64 7b 69 6e |odexenv}|.\end{in|
|00003220| 73 65 74 7d 20 0a 0a 5c | 69 6e 64 65 78 7b 44 45 |set} ..\|index{DE|
|00003230| 4c 51 40 7b 5c 74 74 20 | 44 45 4c 51 7d 7d 0a 7b |LQ@{\tt |DELQ}}.{|
|00003240| 5c 6d 62 6f 78 20 7b 5c | 74 74 20 28 44 45 4c 51 |\mbox {\|tt (DELQ|
|00003250| 20 7b 5c 69 74 20 6f 62 | 6a 65 63 74 20 6c 69 73 | {\it ob|ject lis|
|00003260| 74 5c 2f 7d 29 20 24 5c | 6c 6f 6e 67 72 69 67 68 |t\/}) $\|longrigh|
|00003270| 74 61 72 72 6f 77 24 5c | 20 20 7b 5c 69 74 20 6c |tarrow$\| {\it l|
|00003280| 69 73 74 5c 2f 7d 7d 7d | 0a 5c 68 66 69 6c 6c 20 |ist\/}}}|.\hfill |
|00003290| 20 0a 0a 5c 62 65 67 69 | 6e 7b 69 6e 73 65 74 7d | ..\begi|n{inset}|
|000032a0| 7b 7d 0a 52 65 74 75 72 | 6e 73 20 61 20 6c 69 73 |{}.Retur|ns a lis|
|000032b0| 74 20 77 68 69 63 68 20 | 69 73 20 74 68 65 20 73 |t which |is the s|
|000032c0| 61 6d 65 20 61 73 20 74 | 68 65 20 61 72 67 75 6d |ame as t|he argum|
|000032d0| 65 6e 74 20 7b 5c 69 74 | 20 6c 69 73 74 5c 2f 7d |ent {\it| list\/}|
|000032e0| 0a 77 69 74 68 20 61 6c | 6c 20 6f 63 63 75 72 72 |.with al|l occurr|
|000032f0| 65 6e 63 65 73 20 6f 66 | 20 7b 5c 69 74 20 6f 62 |ences of| {\it ob|
|00003300| 6a 65 63 74 5c 2f 7d 20 | 72 65 6d 6f 76 65 64 2e |ject\/} |removed.|
|00003310| 0a 5c 65 6e 64 7b 69 6e | 73 65 74 7d 20 0a 0a 5c |.\end{in|set} ..\|
|00003320| 69 6e 64 65 78 7b 44 45 | 4c 40 7b 5c 74 74 20 44 |index{DE|L@{\tt D|
|00003330| 45 4c 7d 7d 0a 7b 5c 6d | 62 6f 78 20 7b 5c 74 74 |EL}}.{\m|box {\tt|
|00003340| 20 28 44 45 4c 20 7b 5c | 69 74 20 70 72 65 64 69 | (DEL {\|it predi|
|00003350| 63 61 74 65 20 6f 62 6a | 65 63 74 20 6c 69 73 74 |cate obj|ect list|
|00003360| 5c 2f 7d 29 20 24 5c 6c | 6f 6e 67 72 69 67 68 74 |\/}) $\l|ongright|
|00003370| 61 72 72 6f 77 24 5c 20 | 20 7b 5c 69 74 20 6c 69 |arrow$\ | {\it li|
|00003380| 73 74 5c 2f 7d 7d 7d 0a | 5c 68 66 69 6c 6c 20 20 |st\/}}}.|\hfill |
|00003390| 0a 0a 5c 62 65 67 69 6e | 7b 69 6e 73 65 74 7d 7b |..\begin|{inset}{|
|000033a0| 7d 0a 52 65 74 75 72 6e | 73 20 61 20 6c 69 73 74 |}.Return|s a list|
|000033b0| 20 77 68 69 63 68 20 69 | 73 20 74 68 65 20 73 61 | which i|s the sa|
|000033c0| 6d 65 20 61 73 20 7b 5c | 69 74 20 6c 69 73 74 5c |me as {\|it list\|
|000033d0| 2f 7d 20 65 78 63 65 70 | 74 20 74 68 61 74 20 61 |/} excep|t that a|
|000033e0| 6c 6c 0a 65 6c 65 6d 65 | 6e 74 73 20 77 68 69 63 |ll.eleme|nts whic|
|000033f0| 68 2c 20 61 63 63 6f 72 | 64 69 6e 67 20 74 6f 20 |h, accor|ding to |
|00003400| 7b 5c 69 74 20 70 72 65 | 64 69 63 61 74 65 5c 2f |{\it pre|dicate\/|
|00003410| 7d 2c 0a 61 72 65 20 65 | 71 75 61 6c 20 74 6f 20 |},.are e|qual to |
|00003420| 7b 5c 69 74 20 6f 62 6a | 65 63 74 5c 2f 7d 2c 20 |{\it obj|ect\/}, |
|00003430| 68 61 76 65 20 62 65 65 | 6e 20 72 65 6d 6f 76 65 |have bee|n remove|
|00003440| 64 2e 0a 7b 5c 69 74 20 | 50 72 65 64 69 63 61 74 |d..{\it |Predicat|
|00003450| 65 5c 2f 7d 20 73 68 6f | 75 6c 64 20 62 65 20 61 |e\/} sho|uld be a|
|00003460| 6e 20 65 71 75 61 6c 69 | 74 79 20 70 72 65 64 69 |n equali|ty predi|
|00003470| 63 61 74 65 2e 0a 5c 62 | 65 67 69 6e 7b 63 6f 64 |cate..\b|egin{cod|
|00003480| 65 78 65 6e 76 7d 0a 28 | 44 45 4c 51 20 7b 5c 69 |exenv}.(|DELQ {\i|
|00003490| 74 20 6f 62 6a 65 63 74 | 20 6c 69 73 74 5c 2f 7d |t object| list\/}|
|000034a0| 29 20 20 24 5c 65 71 75 | 69 76 24 20 20 28 44 45 |) $\equ|iv$ (DE|
|000034b0| 4c 20 45 51 3f 20 7b 5c | 69 74 20 6f 62 6a 65 63 |L EQ? {\|it objec|
|000034c0| 74 20 6c 69 73 74 5c 2f | 7d 29 0a 5c 65 6e 64 7b |t list\/|}).\end{|
|000034d0| 63 6f 64 65 78 65 6e 76 | 7d 0a 5c 65 6e 64 7b 69 |codexenv|}.\end{i|
|000034e0| 6e 73 65 74 7d 20 0a 0a | 5c 69 6e 64 65 78 7b 44 |nset} ..|\index{D|
|000034f0| 45 4c 51 21 40 7b 5c 74 | 74 20 44 45 4c 51 21 7d |ELQ!@{\t|t DELQ!}|
|00003500| 7d 0a 7b 5c 6d 62 6f 78 | 20 7b 5c 74 74 20 28 44 |}.{\mbox| {\tt (D|
|00003510| 45 4c 51 21 20 7b 5c 69 | 74 20 6f 62 6a 65 63 74 |ELQ! {\i|t object|
|00003520| 20 6c 69 73 74 5c 2f 7d | 29 20 24 5c 6c 6f 6e 67 | list\/}|) $\long|
|00003530| 72 69 67 68 74 61 72 72 | 6f 77 24 5c 20 20 7b 5c |rightarr|ow$\ {\|
|00003540| 69 74 20 6c 69 73 74 5c | 2f 7d 7d 7d 0a 5c 68 66 |it list\|/}}}.\hf|
|00003550| 69 6c 6c 20 20 0a 0a 5c | 62 65 67 69 6e 7b 69 6e |ill ..\|begin{in|
|00003560| 73 65 74 7d 7b 7d 0a 44 | 65 73 74 72 75 63 74 69 |set}{}.D|estructi|
|00003570| 76 65 20 76 65 72 73 69 | 6f 6e 20 6f 66 20 7b 5c |ve versi|on of {\|
|00003580| 74 74 20 44 45 4c 51 7d | 2e 0a 52 65 6d 6f 76 65 |tt DELQ}|..Remove|
|00003590| 73 20 61 6c 6c 20 6f 63 | 63 75 72 72 65 6e 63 65 |s all oc|currence|
|000035a0| 73 20 6f 66 20 7b 5c 69 | 74 20 6f 62 6a 65 63 74 |s of {\i|t object|
|000035b0| 5c 2f 7d 20 66 72 6f 6d | 20 7b 5c 69 74 20 6c 69 |\/} from| {\it li|
|000035c0| 73 74 5c 2f 7d 2c 0a 70 | 6f 73 73 69 62 6c 79 20 |st\/},.p|ossibly |
|000035d0| 61 6c 74 65 72 69 6e 67 | 20 69 74 2c 20 61 6e 64 |altering| it, and|
|000035e0| 20 72 65 74 75 72 6e 73 | 20 74 68 65 20 6e 65 77 | returns| the new|
|000035f0| 20 61 6e 64 2f 6f 72 20 | 6d 6f 64 69 66 69 65 64 | and/or |modified|
|00003600| 20 6c 69 73 74 2e 0a 5c | 65 6e 64 7b 69 6e 73 65 | list..\|end{inse|
|00003610| 74 7d 20 0a 0a 5c 69 6e | 64 65 78 7b 44 45 4c 21 |t} ..\in|dex{DEL!|
|00003620| 40 7b 5c 74 74 20 44 45 | 4c 21 7d 7d 0a 7b 5c 6d |@{\tt DE|L!}}.{\m|
|00003630| 62 6f 78 20 7b 5c 74 74 | 20 28 44 45 4c 21 20 7b |box {\tt| (DEL! {|
|00003640| 5c 69 74 20 70 72 65 64 | 69 63 61 74 65 20 6f 62 |\it pred|icate ob|
|00003650| 6a 65 63 74 20 6c 69 73 | 74 5c 2f 7d 29 20 24 5c |ject lis|t\/}) $\|
|00003660| 6c 6f 6e 67 72 69 67 68 | 74 61 72 72 6f 77 24 5c |longrigh|tarrow$\|
|00003670| 20 20 7b 5c 69 74 20 6c | 69 73 74 5c 2f 7d 7d 7d | {\it l|ist\/}}}|
|00003680| 0a 5c 68 66 69 6c 6c 20 | 20 0a 0a 5c 62 65 67 69 |.\hfill | ..\begi|
|00003690| 6e 7b 69 6e 73 65 74 7d | 7b 7d 0a 44 65 73 74 72 |n{inset}|{}.Destr|
|000036a0| 75 63 74 69 76 65 20 76 | 65 72 73 69 6f 6e 20 6f |uctive v|ersion o|
|000036b0| 66 20 7b 5c 74 74 20 44 | 45 4c 7d 2e 0a 5c 62 65 |f {\tt D|EL}..\be|
|000036c0| 67 69 6e 7b 63 6f 64 65 | 78 65 6e 76 7d 0a 28 44 |gin{code|xenv}.(D|
|000036d0| 45 4c 51 21 20 7b 5c 69 | 74 20 6f 62 6a 65 63 74 |ELQ! {\i|t object|
|000036e0| 20 6c 69 73 74 5c 2f 7d | 29 20 20 24 5c 65 71 75 | list\/}|) $\equ|
|000036f0| 69 76 24 20 20 28 44 45 | 4c 21 20 45 51 3f 20 7b |iv$ (DE|L! EQ? {|
|00003700| 5c 69 74 20 6f 62 6a 65 | 63 74 20 6c 69 73 74 5c |\it obje|ct list\|
|00003710| 2f 7d 29 0a 5c 65 6e 64 | 7b 63 6f 64 65 78 65 6e |/}).\end|{codexen|
|00003720| 76 7d 0a 5c 65 6e 64 7b | 69 6e 73 65 74 7d 20 0a |v}.\end{|inset} .|
|00003730| 0a 5c 73 65 63 74 69 6f | 6e 7b 4d 61 70 70 69 6e |.\sectio|n{Mappin|
|00003740| 67 20 50 72 6f 63 65 64 | 75 72 65 73 7d 0a 0a 0a |g Proced|ures}...|
|00003750| 5c 69 6e 64 65 78 7b 4d | 41 50 40 7b 5c 74 74 20 |\index{M|AP@{\tt |
|00003760| 4d 41 50 7d 7d 0a 7b 5c | 6d 62 6f 78 20 7b 5c 74 |MAP}}.{\|mbox {\t|
|00003770| 74 20 28 4d 41 50 20 7b | 5c 69 74 20 70 72 6f 63 |t (MAP {|\it proc|
|00003780| 5c 2f 7d 20 2e 20 7b 5c | 69 74 20 6c 69 73 74 73 |\/} . {\|it lists|
|00003790| 5c 2f 7d 29 20 24 5c 6c | 6f 6e 67 72 69 67 68 74 |\/}) $\l|ongright|
|000037a0| 61 72 72 6f 77 24 5c 20 | 20 7b 5c 69 74 20 6c 69 |arrow$\ | {\it li|
|000037b0| 73 74 5c 2f 7d 7d 7d 0a | 5c 68 66 69 6c 6c 20 20 |st\/}}}.|\hfill |
|000037c0| 0a 0a 5c 6c 61 62 65 6c | 7b 4d 41 50 7d 0a 5c 62 |..\label|{MAP}.\b|
|000037d0| 65 67 69 6e 7b 69 6e 73 | 65 74 7d 7b 7d 0a 52 65 |egin{ins|et}{}.Re|
|000037e0| 74 75 72 6e 73 20 61 20 | 6c 69 73 74 20 6f 66 20 |turns a |list of |
|000037f0| 74 68 65 20 72 65 73 75 | 6c 74 73 20 6f 66 20 61 |the resu|lts of a|
|00003800| 70 70 6c 79 69 6e 67 20 | 7b 5c 69 74 20 70 72 6f |pplying |{\it pro|
|00003810| 63 5c 2f 7d 20 74 6f 20 | 73 75 63 63 65 73 73 69 |c\/} to |successi|
|00003820| 76 65 20 65 6c 65 6d 65 | 6e 74 73 0a 6f 66 20 74 |ve eleme|nts.of t|
|00003830| 68 65 20 7b 5c 69 74 20 | 6c 69 73 74 73 5c 2f 7d |he {\it |lists\/}|
|00003840| 3b 20 74 68 65 20 7b 5c | 69 74 20 6e 74 68 5c 2f |; the {\|it nth\/|
|00003850| 7d 20 65 6c 65 6d 65 6e | 74 20 6f 66 20 74 68 65 |} elemen|t of the|
|00003860| 20 72 65 73 75 6c 74 20 | 6c 69 73 74 20 69 73 20 | result |list is |
|00003870| 74 68 65 20 72 65 73 75 | 6c 74 0a 6f 66 20 63 61 |the resu|lt.of ca|
|00003880| 6c 6c 69 6e 67 20 7b 5c | 69 74 20 70 72 6f 63 5c |lling {\|it proc\|
|00003890| 2f 7d 20 6f 6e 20 74 68 | 65 20 7b 5c 69 74 20 6e |/} on th|e {\it n|
|000038a0| 74 68 5c 2f 7d 20 65 6c | 65 6d 65 6e 74 73 20 6f |th\/} el|ements o|
|000038b0| 66 20 74 68 65 20 7b 5c | 69 74 20 6c 69 73 74 73 |f the {\|it lists|
|000038c0| 5c 2f 7d 2e 0a 54 68 65 | 20 6c 65 6e 67 74 68 20 |\/}..The| length |
|000038d0| 6f 66 20 74 68 65 20 72 | 65 73 75 6c 74 20 6c 69 |of the r|esult li|
|000038e0| 73 74 20 69 73 20 74 68 | 65 20 73 61 6d 65 20 61 |st is th|e same a|
|000038f0| 73 20 74 68 65 20 6c 65 | 6e 67 74 68 20 6f 66 20 |s the le|ngth of |
|00003900| 74 68 65 20 73 68 6f 72 | 74 65 73 74 0a 6f 66 20 |the shor|test.of |
|00003910| 74 68 65 20 7b 5c 69 74 | 20 6c 69 73 74 73 5c 2f |the {\it| lists\/|
|00003920| 7d 2e 0a 5c 62 65 67 69 | 6e 7b 63 6f 64 65 78 65 |}..\begi|n{codexe|
|00003930| 6e 76 7d 0a 20 20 20 20 | 5c 62 65 67 69 6e 7b 74 |nv}. |\begin{t|
|00003940| 61 62 75 6c 61 72 7d 7b | 6c 6c 6c 7d 0a 28 4d 41 |abular}{|lll}.(MA|
|00003950| 50 20 28 4c 41 4d 42 44 | 41 20 28 58 29 20 28 4c |P (LAMBD|A (X) (L|
|00003960| 49 53 54 20 27 41 20 58 | 29 29 20 27 28 43 41 54 |IST 'A X|)) '(CAT|
|00003970| 20 44 4f 47 29 29 20 20 | 26 24 5c 4c 6f 6e 67 72 | DOG)) |&$\Longr|
|00003980| 69 67 68 74 61 72 72 6f | 77 24 5c 20 26 20 20 28 |ightarro|w$\ & (|
|00003990| 28 41 20 43 41 54 29 20 | 28 41 20 44 4f 47 29 29 |(A CAT) |(A DOG))|
|000039a0| 20 5c 5c 0a 28 4d 41 50 | 20 2b 20 27 28 31 30 20 | \\.(MAP| + '(10 |
|000039b0| 32 30 29 20 27 28 35 20 | 36 29 29 20 20 20 20 20 |20) '(5 |6)) |
|000039c0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 26 | | &|
|000039d0| 24 5c 4c 6f 6e 67 72 69 | 67 68 74 61 72 72 6f 77 |$\Longri|ghtarrow|
|000039e0| 24 5c 20 26 20 20 28 31 | 35 20 32 36 29 20 5c 5c |$\ & (1|5 26) \\|
|000039f0| 0a 28 4d 41 50 20 4c 49 | 53 54 20 27 28 41 20 42 |.(MAP LI|ST '(A B|
|00003a00| 29 20 27 28 43 20 44 20 | 45 29 20 27 28 46 29 29 |) '(C D |E) '(F))|
|00003a10| 20 20 20 20 20 20 20 20 | 20 20 20 20 26 24 5c 4c | | &$\L|
|00003a20| 6f 6e 67 72 69 67 68 74 | 61 72 72 6f 77 24 5c 20 |ongright|arrow$\ |
|00003a30| 26 20 20 28 28 41 20 43 | 20 46 29 29 0a 5c 65 6e |& ((A C| F)).\en|
|00003a40| 64 7b 74 61 62 75 6c 61 | 72 7d 0a 20 20 20 20 5c |d{tabula|r}. \|
|00003a50| 65 6e 64 7b 63 6f 64 65 | 78 65 6e 76 7d 0a 5c 65 |end{code|xenv}.\e|
|00003a60| 6e 64 7b 69 6e 73 65 74 | 7d 20 0a 0a 5c 69 6e 64 |nd{inset|} ..\ind|
|00003a70| 65 78 7b 4d 41 50 43 44 | 52 40 7b 5c 74 74 20 4d |ex{MAPCD|R@{\tt M|
|00003a80| 41 50 43 44 52 7d 7d 0a | 7b 5c 6d 62 6f 78 20 7b |APCDR}}.|{\mbox {|
|00003a90| 5c 74 74 20 28 4d 41 50 | 43 44 52 20 7b 5c 69 74 |\tt (MAP|CDR {\it|
|00003aa0| 20 70 72 6f 63 5c 2f 7d | 20 2e 20 7b 5c 69 74 20 | proc\/}| . {\it |
|00003ab0| 6c 69 73 74 73 5c 2f 7d | 29 20 24 5c 6c 6f 6e 67 |lists\/}|) $\long|
|00003ac0| 72 69 67 68 74 61 72 72 | 6f 77 24 5c 20 20 7b 5c |rightarr|ow$\ {\|
|00003ad0| 69 74 20 6c 69 73 74 5c | 2f 7d 7d 7d 0a 5c 68 66 |it list\|/}}}.\hf|
|00003ae0| 69 6c 6c 20 20 0a 0a 5c | 62 65 67 69 6e 7b 69 6e |ill ..\|begin{in|
|00003af0| 73 65 74 7d 7b 7d 0a 7b | 5c 74 74 20 4d 41 50 43 |set}{}.{|\tt MAPC|
|00003b00| 44 52 7d 20 69 73 20 73 | 69 6d 69 6c 61 72 20 74 |DR} is s|imilar t|
|00003b10| 6f 20 7b 5c 74 74 20 4d | 41 50 7d 2c 20 65 78 63 |o {\tt M|AP}, exc|
|00003b20| 65 70 74 20 74 68 61 74 | 20 7b 5c 69 74 20 70 72 |ept that| {\it pr|
|00003b30| 6f 63 5c 2f 7d 20 69 73 | 20 61 70 70 6c 69 65 64 |oc\/} is| applied|
|00003b40| 20 74 6f 0a 73 75 63 63 | 65 73 73 69 76 65 20 7b | to.succ|essive {|
|00003b50| 5c 69 74 20 74 61 69 6c | 73 5c 2f 7d 20 6f 66 20 |\it tail|s\/} of |
|00003b60| 74 68 65 20 7b 5c 69 74 | 20 6c 69 73 74 73 5c 2f |the {\it| lists\/|
|00003b70| 7d 2e 0a 5c 65 6e 64 7b | 69 6e 73 65 74 7d 20 0a |}..\end{|inset} .|
|00003b80| 0a 5c 69 6e 64 65 78 7b | 4d 41 50 21 40 7b 5c 74 |.\index{|MAP!@{\t|
|00003b90| 74 20 4d 41 50 21 7d 7d | 0a 7b 5c 6d 62 6f 78 20 |t MAP!}}|.{\mbox |
|00003ba0| 7b 5c 74 74 20 28 4d 41 | 50 21 20 7b 5c 69 74 20 |{\tt (MA|P! {\it |
|00003bb0| 70 72 6f 63 5c 2f 7d 20 | 7b 5c 69 74 20 6c 69 73 |proc\/} |{\it lis|
|00003bc0| 74 5c 2f 7d 29 20 24 5c | 6c 6f 6e 67 72 69 67 68 |t\/}) $\|longrigh|
|00003bd0| 74 61 72 72 6f 77 24 5c | 20 20 7b 5c 69 74 20 6c |tarrow$\| {\it l|
|00003be0| 69 73 74 5c 2f 7d 7d 7d | 0a 5c 68 66 69 6c 6c 20 |ist\/}}}|.\hfill |
|00003bf0| 20 0a 0a 5c 62 65 67 69 | 6e 7b 69 6e 73 65 74 7d | ..\begi|n{inset}|
|00003c00| 7b 7d 0a 46 6f 72 20 65 | 61 63 68 20 70 61 69 72 |{}.For e|ach pair|
|00003c10| 20 69 6e 20 7b 5c 69 74 | 20 6c 69 73 74 5c 2f 7d | in {\it| list\/}|
|00003c20| 2c 20 61 70 70 6c 69 65 | 73 20 7b 5c 69 74 20 70 |, applie|s {\it p|
|00003c30| 72 6f 63 5c 2f 7d 20 74 | 6f 20 74 68 65 20 63 61 |roc\/} t|o the ca|
|00003c40| 72 20 6f 66 20 74 68 65 | 20 70 61 69 72 2c 0a 61 |r of the| pair,.a|
|00003c50| 6e 64 20 74 68 65 6e 20 | 6d 6f 64 69 66 69 65 73 |nd then |modifies|
|00003c60| 20 74 68 65 20 70 61 69 | 72 20 73 6f 20 74 68 61 | the pai|r so tha|
|00003c70| 74 20 69 74 73 20 63 61 | 72 20 69 73 20 74 68 65 |t its ca|r is the|
|00003c80| 20 76 61 6c 75 65 20 6f | 66 20 74 68 65 0a 61 70 | value o|f the.ap|
|00003c90| 70 6c 69 63 61 74 69 6f | 6e 2e 0a 5c 62 65 67 69 |plicatio|n..\begi|
|00003ca0| 6e 7b 63 6f 64 65 78 65 | 6e 76 7d 0a 20 20 20 20 |n{codexe|nv}. |
|00003cb0| 5c 62 65 67 69 6e 7b 74 | 61 62 75 6c 61 72 7d 7b |\begin{t|abular}{|
|00003cc0| 6c 6c 6c 7d 0a 28 44 45 | 46 49 4e 45 20 4c 20 28 |lll}.(DE|FINE L (|
|00003cd0| 4c 49 53 54 20 27 43 41 | 54 20 27 44 4f 47 29 29 |LIST 'CA|T 'DOG))|
|00003ce0| 20 20 26 24 5c 4c 6f 6e | 67 72 69 67 68 74 61 72 | &$\Lon|grightar|
|00003cf0| 72 6f 77 24 5c 20 26 20 | 20 28 43 41 54 20 44 4f |row$\ & | (CAT DO|
|00003d00| 47 29 20 5c 5c 0a 28 4d | 41 50 21 20 28 4c 41 4d |G) \\.(M|AP! (LAM|
|00003d10| 42 44 41 20 28 58 29 20 | 28 4c 49 53 54 20 27 41 |BDA (X) |(LIST 'A|
|00003d20| 20 58 29 29 20 4c 29 20 | 5c 5c 0a 4c 20 20 26 24 | X)) L) |\\.L &$|
|00003d30| 5c 4c 6f 6e 67 72 69 67 | 68 74 61 72 72 6f 77 24 |\Longrig|htarrow$|
|00003d40| 5c 20 26 20 20 28 28 41 | 20 43 41 54 29 20 28 41 |\ & ((A| CAT) (A|
|00003d50| 20 44 4f 47 29 29 0a 5c | 65 6e 64 7b 74 61 62 75 | DOG)).\|end{tabu|
|00003d60| 6c 61 72 7d 0a 20 20 20 | 20 5c 65 6e 64 7b 63 6f |lar}. | \end{co|
|00003d70| 64 65 78 65 6e 76 7d 0a | 5c 65 6e 64 7b 69 6e 73 |dexenv}.|\end{ins|
|00003d80| 65 74 7d 20 0a 0a 5c 69 | 6e 64 65 78 7b 57 41 4c |et} ..\i|ndex{WAL|
|00003d90| 4b 40 7b 5c 74 74 20 57 | 41 4c 4b 7d 7d 0a 7b 5c |K@{\tt W|ALK}}.{\|
|00003da0| 6d 62 6f 78 20 7b 5c 74 | 74 20 28 57 41 4c 4b 20 |mbox {\t|t (WALK |
|00003db0| 7b 5c 69 74 20 70 72 6f | 63 5c 2f 7d 20 2e 20 7b |{\it pro|c\/} . {|
|00003dc0| 5c 69 74 20 6c 69 73 74 | 73 5c 2f 7d 29 20 24 5c |\it list|s\/}) $\|
|00003dd0| 6c 6f 6e 67 72 69 67 68 | 74 61 72 72 6f 77 24 5c |longrigh|tarrow$\|
|00003de0| 20 20 7b 5c 69 74 20 75 | 6e 64 65 66 69 6e 65 64 | {\it u|ndefined|
|00003df0| 5c 2f 7d 7d 7d 0a 5c 68 | 66 69 6c 6c 20 20 0a 0a |\/}}}.\h|fill ..|
|00003e00| 5c 6c 61 62 65 6c 7b 57 | 41 4c 4b 7d 0a 5c 62 65 |\label{W|ALK}.\be|
|00003e10| 67 69 6e 7b 69 6e 73 65 | 74 7d 7b 7d 0a 54 68 69 |gin{inse|t}{}.Thi|
|00003e20| 73 20 69 73 20 73 69 6d | 69 6c 61 72 20 74 6f 20 |s is sim|ilar to |
|00003e30| 7b 5c 74 74 20 4d 41 50 | 7d 20 62 75 74 20 74 68 |{\tt MAP|} but th|
|00003e40| 65 20 72 65 73 75 6c 74 | 20 69 73 20 0a 61 20 76 |e result| is .a v|
|00003e50| 61 6c 75 65 20 6f 66 20 | 6e 6f 20 70 61 72 74 69 |alue of |no parti|
|00003e60| 63 75 6c 61 72 20 69 6e | 74 65 72 65 73 74 2e 0a |cular in|terest..|
|00003e70| 54 68 75 73 20 7b 5c 74 | 74 20 57 41 4c 4b 7d 20 |Thus {\t|t WALK} |
|00003e80| 69 73 20 75 73 65 66 75 | 6c 20 6f 6e 6c 79 20 66 |is usefu|l only f|
|00003e90| 6f 72 20 74 68 65 20 73 | 69 64 65 2d 65 66 66 65 |or the s|ide-effe|
|00003ea0| 63 74 73 20 74 68 61 74 | 20 7b 5c 69 74 20 70 72 |cts that| {\it pr|
|00003eb0| 6f 63 5c 2f 7d 20 70 65 | 72 66 6f 72 6d 73 2e 0a |oc\/} pe|rforms..|
|00003ec0| 5c 65 6e 64 7b 69 6e 73 | 65 74 7d 20 0a 0a 5c 69 |\end{ins|et} ..\i|
|00003ed0| 6e 64 65 78 7b 57 41 4c | 4b 43 44 52 40 7b 5c 74 |ndex{WAL|KCDR@{\t|
|00003ee0| 74 20 57 41 4c 4b 43 44 | 52 7d 7d 0a 7b 5c 6d 62 |t WALKCD|R}}.{\mb|
|00003ef0| 6f 78 20 7b 5c 74 74 20 | 28 57 41 4c 4b 43 44 52 |ox {\tt |(WALKCDR|
|00003f00| 20 7b 5c 69 74 20 70 72 | 6f 63 5c 2f 7d 20 2e 20 | {\it pr|oc\/} . |
|00003f10| 7b 5c 69 74 20 6c 69 73 | 74 73 5c 2f 7d 29 20 24 |{\it lis|ts\/}) $|
|00003f20| 5c 6c 6f 6e 67 72 69 67 | 68 74 61 72 72 6f 77 24 |\longrig|htarrow$|
|00003f30| 5c 20 20 7b 5c 69 74 20 | 75 6e 64 65 66 69 6e 65 |\ {\it |undefine|
|00003f40| 64 5c 2f 7d 7d 7d 0a 5c | 68 66 69 6c 6c 20 20 0a |d\/}}}.\|hfill .|
|00003f50| 0a 5c 62 65 67 69 6e 7b | 69 6e 73 65 74 7d 7b 7d |.\begin{|inset}{}|
|00003f60| 0a 54 68 69 73 20 69 73 | 20 73 69 6d 69 6c 61 72 |.This is| similar|
|00003f70| 20 74 6f 20 7b 5c 74 74 | 20 4d 41 50 43 44 52 7d | to {\tt| MAPCDR}|
|00003f80| 20 62 75 74 20 74 68 65 | 20 72 65 73 75 6c 74 20 | but the| result |
|00003f90| 69 73 20 61 20 76 61 6c | 75 65 20 6f 66 20 6e 6f |is a val|ue of no|
|00003fa0| 20 70 61 72 74 69 63 75 | 6c 61 72 0a 69 6e 74 65 | particu|lar.inte|
|00003fb0| 72 65 73 74 2e 0a 5c 65 | 6e 64 7b 69 6e 73 65 74 |rest..\e|nd{inset|
|00003fc0| 7d 20 0a 0a 5c 73 65 63 | 74 69 6f 6e 7b 4c 69 73 |} ..\sec|tion{Lis|
|00003fd0| 74 73 20 61 73 20 61 73 | 73 6f 63 69 61 74 69 6f |ts as as|sociatio|
|00003fe0| 6e 73 7d 0a 0a 0a 5c 69 | 6e 64 65 78 7b 41 53 53 |ns}...\i|ndex{ASS|
|00003ff0| 51 40 7b 5c 74 74 20 41 | 53 53 51 7d 7d 0a 7b 5c |Q@{\tt A|SSQ}}.{\|
|00004000| 6d 62 6f 78 20 7b 5c 74 | 74 20 28 41 53 53 51 20 |mbox {\t|t (ASSQ |
|00004010| 7b 5c 69 74 20 6f 62 6a | 65 63 74 20 6c 69 73 74 |{\it obj|ect list|
|00004020| 5c 2f 7d 29 20 24 5c 6c | 6f 6e 67 72 69 67 68 74 |\/}) $\l|ongright|
|00004030| 61 72 72 6f 77 24 5c 20 | 20 7b 5c 69 74 20 70 61 |arrow$\ | {\it pa|
|00004040| 69 72 5c 2f 7d 20 7b 5c | 72 6d 20 6f 72 7d 20 7b |ir\/} {\|rm or} {|
|00004050| 5c 69 74 20 66 61 6c 73 | 65 5c 2f 7d 7d 7d 0a 5c |\it fals|e\/}}}.\|
|00004060| 68 66 69 6c 6c 20 20 0a | 0a 5c 62 65 67 69 6e 7b |hfill .|.\begin{|
|00004070| 69 6e 73 65 74 7d 7b 7d | 0a 5c 62 65 67 69 6e 7b |inset}{}|.\begin{|
|00004080| 63 6f 64 65 78 65 6e 76 | 7d 0a 28 41 53 53 51 20 |codexenv|}.(ASSQ |
|00004090| 7b 5c 69 74 20 6f 62 6a | 65 63 74 20 6c 69 73 74 |{\it obj|ect list|
|000040a0| 5c 2f 7d 29 20 20 24 5c | 65 71 75 69 76 24 20 20 |\/}) $\|equiv$ |
|000040b0| 28 41 53 53 20 45 51 3f | 20 7b 5c 69 74 20 6f 62 |(ASS EQ?| {\it ob|
|000040c0| 6a 65 63 74 20 6c 69 73 | 74 5c 2f 7d 29 0a 5c 65 |ject lis|t\/}).\e|
|000040d0| 6e 64 7b 63 6f 64 65 78 | 65 6e 76 7d 0a 5c 65 6e |nd{codex|env}.\en|
|000040e0| 64 7b 69 6e 73 65 74 7d | 20 0a 0a 5c 69 6e 64 65 |d{inset}| ..\inde|
|000040f0| 78 7b 41 53 53 40 7b 5c | 74 74 20 41 53 53 7d 7d |x{ASS@{\|tt ASS}}|
|00004100| 0a 7b 5c 6d 62 6f 78 20 | 7b 5c 74 74 20 28 41 53 |.{\mbox |{\tt (AS|
|00004110| 53 20 7b 5c 69 74 20 70 | 72 65 64 69 63 61 74 65 |S {\it p|redicate|
|00004120| 20 6f 62 6a 65 63 74 20 | 6c 69 73 74 5c 2f 7d 29 | object |list\/})|
|00004130| 20 24 5c 6c 6f 6e 67 72 | 69 67 68 74 61 72 72 6f | $\longr|ightarro|
|00004140| 77 24 5c 20 20 7b 5c 69 | 74 20 70 61 69 72 5c 2f |w$\ {\i|t pair\/|
|00004150| 7d 20 7b 5c 72 6d 20 6f | 72 7d 20 7b 5c 69 74 20 |} {\rm o|r} {\it |
|00004160| 66 61 6c 73 65 5c 2f 7d | 7d 7d 0a 5c 68 66 69 6c |false\/}|}}.\hfil|
|00004170| 6c 20 20 0a 0a 5c 62 65 | 67 69 6e 7b 69 6e 73 65 |l ..\be|gin{inse|
|00004180| 74 7d 7b 7d 0a 41 6e 20 | 5c 69 69 78 7b 61 73 73 |t}{}.An |\iix{ass|
|00004190| 6f 63 69 61 74 69 6f 6e | 20 6c 69 73 74 7d 0a 69 |ociation| list}.i|
|000041a0| 73 20 61 20 6c 69 73 74 | 20 6f 66 20 70 61 69 72 |s a list| of pair|
|000041b0| 73 20 74 68 61 74 20 72 | 65 70 72 65 73 65 6e 74 |s that r|epresent|
|000041c0| 73 0a 61 20 60 60 6c 6f | 6f 6b 75 70 20 74 61 62 |s.a ``lo|okup tab|
|000041d0| 6c 65 27 27 20 77 68 65 | 72 65 20 74 68 65 20 63 |le'' whe|re the c|
|000041e0| 61 72 20 6f 66 20 65 61 | 63 68 20 70 61 69 72 20 |ar of ea|ch pair |
|000041f0| 6d 61 74 63 68 65 73 20 | 61 20 6c 6f 6f 6b 75 70 |matches |a lookup|
|00004200| 20 6b 65 79 2e 20 20 7b | 5c 74 74 20 41 53 53 7d | key. {|\tt ASS}|
|00004210| 0a 61 6e 64 20 69 74 73 | 20 72 65 6c 61 74 65 64 |.and its| related|
|00004220| 20 70 72 6f 63 65 64 75 | 72 65 73 20 73 65 61 72 | procedu|res sear|
|00004230| 63 68 20 61 73 73 6f 63 | 69 61 74 69 6f 6e 20 6c |ch assoc|iation l|
|00004240| 69 73 74 73 20 62 79 20 | 63 6f 6d 70 61 72 69 6e |ists by |comparin|
|00004250| 67 0a 28 61 70 70 6c 79 | 69 6e 67 20 7b 5c 69 74 |g.(apply|ing {\it|
|00004260| 20 70 72 65 64 69 63 61 | 74 65 5c 2f 7d 29 20 74 | predica|te\/}) t|
|00004270| 68 65 20 6b 65 79 20 28 | 7b 5c 69 74 20 6f 62 6a |he key (|{\it obj|
|00004280| 65 63 74 5c 2f 7d 29 20 | 61 67 61 69 6e 73 74 20 |ect\/}) |against |
|00004290| 74 68 65 20 63 61 72 20 | 6f 66 20 65 61 63 68 0a |the car |of each.|
|000042a0| 65 6c 65 6d 65 6e 74 20 | 6f 66 20 7b 5c 69 74 20 |element |of {\it |
|000042b0| 6c 69 73 74 5c 2f 7d 20 | 28 69 2e 65 2e 2c 20 74 |list\/} |(i.e., t|
|000042c0| 68 65 20 63 61 61 72 20 | 6f 66 20 65 61 63 68 20 |he caar |of each |
|000042d0| 74 61 69 6c 29 2e 20 20 | 49 66 20 69 74 20 66 69 |tail). |If it fi|
|000042e0| 6e 64 73 20 61 20 6d 61 | 74 63 68 2c 0a 69 74 20 |nds a ma|tch,.it |
|000042f0| 72 65 74 75 72 6e 73 20 | 74 68 61 74 20 65 6c 65 |returns |that ele|
|00004300| 6d 65 6e 74 20 28 74 68 | 65 20 63 61 72 20 6f 66 |ment (th|e car of|
|00004310| 20 74 68 65 20 74 61 69 | 6c 29 2e 20 20 49 66 20 | the tai|l). If |
|00004320| 69 74 20 66 69 6e 64 73 | 20 6e 6f 20 6d 61 74 63 |it finds| no matc|
|00004330| 68 2c 0a 69 74 20 72 65 | 74 75 72 6e 73 20 66 61 |h,.it re|turns fa|
|00004340| 6c 73 65 2e 0a 5c 62 65 | 67 69 6e 7b 63 6f 64 65 |lse..\be|gin{code|
|00004350| 78 65 6e 76 7d 0a 20 20 | 20 20 5c 62 65 67 69 6e |xenv}. | \begin|
|00004360| 7b 74 61 62 75 6c 61 72 | 7d 7b 6c 6c 6c 7d 0a 28 |{tabular|}{lll}.(|
|00004370| 41 53 53 20 45 51 3f 20 | 27 42 20 27 28 28 41 20 |ASS EQ? |'B '((A |
|00004380| 31 30 20 32 30 29 20 28 | 42 20 33 30 20 34 30 29 |10 20) (|B 30 40)|
|00004390| 20 28 43 20 35 30 20 36 | 30 29 29 29 20 20 26 24 | (C 50 6|0))) &$|
|000043a0| 5c 4c 6f 6e 67 72 69 67 | 68 74 61 72 72 6f 77 24 |\Longrig|htarrow$|
|000043b0| 5c 20 26 20 20 28 42 20 | 33 30 20 34 30 29 20 5c |\ & (B |30 40) \|
|000043c0| 5c 0a 28 41 53 53 20 3d | 20 39 20 27 28 28 31 20 |\.(ASS =| 9 '((1 |
|000043d0| 59 29 20 28 34 20 59 29 | 20 28 39 20 5a 29 20 28 |Y) (4 Y)| (9 Z) (|
|000043e0| 31 32 20 50 29 29 29 20 | 20 20 20 20 20 20 20 20 |12 P))) | |
|000043f0| 20 26 24 5c 4c 6f 6e 67 | 72 69 67 68 74 61 72 72 | &$\Long|rightarr|
|00004400| 6f 77 24 5c 20 26 20 20 | 28 39 20 5a 29 20 5c 5c |ow$\ & |(9 Z) \\|
|00004410| 0a 28 41 53 53 20 3d 20 | 31 30 20 27 28 28 31 20 |.(ASS = |10 '((1 |
|00004420| 59 29 20 28 34 20 59 29 | 20 28 39 20 5a 29 20 28 |Y) (4 Y)| (9 Z) (|
|00004430| 31 32 20 50 29 29 29 20 | 20 20 20 20 20 20 20 20 |12 P))) | |
|00004440| 26 24 5c 4c 6f 6e 67 72 | 69 67 68 74 61 72 72 6f |&$\Longr|ightarro|
|00004450| 77 24 5c 20 26 20 20 7b | 5c 69 74 20 66 61 6c 73 |w$\ & {|\it fals|
|00004460| 65 7d 0a 5c 65 6e 64 7b | 74 61 62 75 6c 61 72 7d |e}.\end{|tabular}|
|00004470| 0a 20 20 20 20 5c 65 6e | 64 7b 63 6f 64 65 78 65 |. \en|d{codexe|
|00004480| 6e 76 7d 0a 5c 65 6e 64 | 7b 69 6e 73 65 74 7d 20 |nv}.\end|{inset} |
|00004490| 0a 0a 5c 73 65 63 74 69 | 6f 6e 7b 4c 69 73 74 73 |..\secti|on{Lists|
|000044a0| 20 61 73 20 73 74 61 63 | 6b 73 7d 0a 0a 0a 7b 5c | as stac|ks}...{\|
|000044b0| 74 74 20 50 55 53 48 7d | 20 61 6e 64 20 7b 5c 74 |tt PUSH}| and {\t|
|000044c0| 74 20 50 4f 50 7d 20 70 | 65 72 6d 69 74 20 61 20 |t POP} p|ermit a |
|000044d0| 63 6f 6e 76 65 6e 69 65 | 6e 74 20 73 79 6e 74 61 |convenie|nt synta|
|000044e0| 78 20 66 6f 72 20 74 68 | 65 20 75 73 65 20 6f 66 |x for th|e use of|
|000044f0| 20 6c 69 73 74 73 0a 69 | 6e 20 69 6d 70 6c 65 6d | lists.i|n implem|
|00004500| 65 6e 74 69 6e 67 20 73 | 69 6d 70 6c 65 20 73 74 |enting s|imple st|
|00004510| 61 63 6b 73 2e 20 20 54 | 68 65 79 20 61 72 65 20 |acks. T|hey are |
|00004520| 61 73 73 69 67 6e 6d 65 | 6e 74 20 66 6f 72 6d 73 |assignme|nt forms|
|00004530| 2c 20 6c 69 6b 65 20 7b | 5c 74 74 20 53 45 54 7d |, like {|\tt SET}|
|00004540| 0a 61 6e 64 20 7b 5c 74 | 74 20 49 4e 43 52 45 4d |.and {\t|t INCREM|
|00004550| 45 4e 54 7d 2e 20 20 53 | 65 65 20 73 65 63 74 69 |ENT}. S|ee secti|
|00004560| 6f 6e 20 5c 72 65 66 7b | 73 65 63 74 69 6f 6e 3a |on \ref{|section:|
|00004570| 61 73 73 69 67 6e 6d 65 | 6e 74 7d 20 66 6f 72 20 |assignme|nt} for |
|00004580| 61 20 67 65 6e 65 72 61 | 6c 0a 64 69 73 63 75 73 |a genera|l.discus|
|00004590| 73 69 6f 6e 20 6f 66 20 | 61 73 73 69 67 6e 6d 65 |sion of |assignme|
|000045a0| 6e 74 20 66 6f 72 6d 73 | 2e 0a 0a 5c 69 6e 64 65 |nt forms|...\inde|
|000045b0| 78 7b 50 55 53 48 40 7b | 5c 74 74 20 50 55 53 48 |x{PUSH@{|\tt PUSH|
|000045c0| 7d 7d 0a 7b 5c 6d 62 6f | 78 20 7b 5c 74 74 20 28 |}}.{\mbo|x {\tt (|
|000045d0| 50 55 53 48 20 7b 5c 69 | 74 20 6c 6f 63 61 74 69 |PUSH {\i|t locati|
|000045e0| 6f 6e 20 6f 62 6a 65 63 | 74 5c 2f 7d 29 20 24 5c |on objec|t\/}) $\|
|000045f0| 6c 6f 6e 67 72 69 67 68 | 74 61 72 72 6f 77 24 5c |longrigh|tarrow$\|
|00004600| 20 20 7b 5c 69 74 20 75 | 6e 64 65 66 69 6e 65 64 | {\it u|ndefined|
|00004610| 5c 2f 7d 7d 7d 0a 5c 68 | 66 69 6c 6c 20 53 70 65 |\/}}}.\h|fill Spe|
|00004620| 63 69 61 6c 20 66 6f 72 | 6d 0a 0a 5c 62 65 67 69 |cial for|m..\begi|
|00004630| 6e 7b 69 6e 73 65 74 7d | 7b 7d 0a 43 6f 6e 73 20 |n{inset}|{}.Cons |
|00004640| 61 20 70 61 69 72 20 77 | 68 6f 73 65 20 63 61 72 |a pair w|hose car|
|00004650| 20 69 73 20 7b 5c 69 74 | 20 6f 62 6a 65 63 74 5c | is {\it| object\|
|00004660| 2f 7d 20 61 6e 64 20 77 | 68 6f 73 65 20 63 64 72 |/} and w|hose cdr|
|00004670| 20 69 73 0a 74 68 65 20 | 76 61 6c 75 65 20 69 6e | is.the |value in|
|00004680| 20 7b 5c 69 74 20 6c 6f | 63 61 74 69 6f 6e 5c 2f | {\it lo|cation\/|
|00004690| 7d 20 28 75 73 75 61 6c | 6c 79 20 61 20 6c 69 73 |} (usual|ly a lis|
|000046a0| 74 29 2c 20 61 6e 64 0a | 73 74 6f 72 65 20 74 68 |t), and.|store th|
|000046b0| 65 20 65 78 74 65 6e 64 | 65 64 20 6c 69 73 74 20 |e extend|ed list |
|000046c0| 62 61 63 6b 20 69 6e 74 | 6f 20 7b 5c 69 74 20 6c |back int|o {\it l|
|000046d0| 6f 63 61 74 69 6f 6e 5c | 2f 7d 2e 0a 5c 62 65 67 |ocation\|/}..\beg|
|000046e0| 69 6e 7b 63 6f 64 65 78 | 65 6e 76 7d 0a 20 20 20 |in{codex|env}. |
|000046f0| 20 5c 62 65 67 69 6e 7b | 74 61 62 75 6c 61 72 7d | \begin{|tabular}|
|00004700| 7b 6c 6c 6c 7d 0a 28 4c | 53 45 54 20 4c 20 27 28 |{lll}.(L|SET L '(|
|00004710| 33 34 20 35 35 29 29 20 | 20 26 24 5c 4c 6f 6e 67 |34 55)) | &$\Long|
|00004720| 72 69 67 68 74 61 72 72 | 6f 77 24 5c 20 26 20 20 |rightarr|ow$\ & |
|00004730| 28 33 34 20 35 35 29 20 | 5c 5c 0a 28 50 55 53 48 |(34 55) |\\.(PUSH|
|00004740| 20 4c 20 32 31 29 20 5c | 5c 0a 4c 20 20 20 20 20 | L 21) \|\.L |
|00004750| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 26 24 5c | | &$\|
|00004760| 4c 6f 6e 67 72 69 67 68 | 74 61 72 72 6f 77 24 5c |Longrigh|tarrow$\|
|00004770| 20 26 20 20 28 32 31 20 | 33 34 20 35 35 29 20 5c | & (21 |34 55) \|
|00004780| 5c 0a 28 50 55 53 48 20 | 4c 20 27 28 41 20 42 20 |\.(PUSH |L '(A B |
|00004790| 43 29 29 20 5c 5c 0a 28 | 50 55 53 48 20 28 43 41 |C)) \\.(|PUSH (CA|
|000047a0| 52 20 4c 29 20 27 44 29 | 20 5c 5c 0a 4c 20 20 20 |R L) 'D)| \\.L |
|000047b0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 26 | | &|
|000047c0| 24 5c 4c 6f 6e 67 72 69 | 67 68 74 61 72 72 6f 77 |$\Longri|ghtarrow|
|000047d0| 24 5c 20 26 20 20 28 28 | 44 20 41 20 42 20 43 29 |$\ & ((|D A B C)|
|000047e0| 20 32 31 20 33 34 20 35 | 35 29 0a 5c 65 6e 64 7b | 21 34 5|5).\end{|
|000047f0| 74 61 62 75 6c 61 72 7d | 0a 20 20 20 20 5c 65 6e |tabular}|. \en|
|00004800| 64 7b 63 6f 64 65 78 65 | 6e 76 7d 0a 0a 49 6e 20 |d{codexe|nv}..In |
|00004810| 67 65 6e 65 72 61 6c 2c | 0a 7b 5c 74 74 20 5c 62 |general,|.{\tt \b|
|00004820| 65 67 69 6e 7b 74 61 62 | 62 69 6e 67 7d 0a 28 50 |egin{tab|bing}.(P|
|00004830| 55 53 48 20 5c 3d 20 7b | 5c 69 74 20 6c 6f 63 61 |USH \= {|\it loca|
|00004840| 74 69 6f 6e 20 6f 62 6a | 65 63 74 5c 2f 7d 29 20 |tion obj|ect\/}) |
|00004850| 5c 2b 20 5c 5c 0a 20 20 | 24 5c 65 71 75 69 76 24 |\+ \\. |$\equiv$|
|00004860| 20 20 28 53 45 54 20 7b | 5c 69 74 20 6c 6f 63 61 | (SET {|\it loca|
|00004870| 74 69 6f 6e 5c 2f 7d 20 | 28 43 4f 4e 53 20 7b 5c |tion\/} |(CONS {\|
|00004880| 69 74 20 6f 62 6a 65 63 | 74 20 6c 6f 63 61 74 69 |it objec|t locati|
|00004890| 6f 6e 5c 2f 7d 29 29 20 | 5c 5c 0a 20 20 24 5c 65 |on\/})) |\\. $\e|
|000048a0| 71 75 69 76 24 20 20 28 | 4d 4f 44 49 46 59 20 7b |quiv$ (|MODIFY {|
|000048b0| 5c 69 74 20 6c 6f 63 61 | 74 69 6f 6e 5c 2f 7d 20 |\it loca|tion\/} |
|000048c0| 28 4c 41 4d 42 44 41 20 | 28 4c 29 20 28 43 4f 4e |(LAMBDA |(L) (CON|
|000048d0| 53 20 7b 5c 69 74 20 6f | 62 6a 65 63 74 5c 2f 7d |S {\it o|bject\/}|
|000048e0| 20 4c 29 29 29 20 5c 5c | 0a 5c 65 6e 64 7b 74 61 | L))) \\|.\end{ta|
|000048f0| 62 62 69 6e 67 7d 7d 0a | 5c 65 6e 64 7b 69 6e 73 |bbing}}.|\end{ins|
|00004900| 65 74 7d 20 0a 0a 5c 69 | 6e 64 65 78 7b 50 4f 50 |et} ..\i|ndex{POP|
|00004910| 40 7b 5c 74 74 20 50 4f | 50 7d 7d 0a 7b 5c 6d 62 |@{\tt PO|P}}.{\mb|
|00004920| 6f 78 20 7b 5c 74 74 20 | 28 50 4f 50 20 7b 5c 69 |ox {\tt |(POP {\i|
|00004930| 74 20 6c 6f 63 61 74 69 | 6f 6e 5c 2f 7d 29 20 24 |t locati|on\/}) $|
|00004940| 5c 6c 6f 6e 67 72 69 67 | 68 74 61 72 72 6f 77 24 |\longrig|htarrow$|
|00004950| 5c 20 20 7b 5c 69 74 20 | 6f 62 6a 65 63 74 5c 2f |\ {\it |object\/|
|00004960| 7d 7d 7d 0a 5c 68 66 69 | 6c 6c 20 53 70 65 63 69 |}}}.\hfi|ll Speci|
|00004970| 61 6c 20 66 6f 72 6d 0a | 0a 5c 62 65 67 69 6e 7b |al form.|.\begin{|
|00004980| 69 6e 73 65 74 7d 7b 7d | 0a 54 68 65 20 63 61 72 |inset}{}|.The car|
|00004990| 20 6f 66 20 74 68 65 20 | 76 61 6c 75 65 20 69 6e | of the |value in|
|000049a0| 20 7b 5c 69 74 20 6c 6f | 63 61 74 69 6f 6e 5c 2f | {\it lo|cation\/|
|000049b0| 7d 0a 28 74 68 69 73 20 | 76 61 6c 75 65 20 73 68 |}.(this |value sh|
|000049c0| 6f 75 6c 64 20 62 65 20 | 61 20 70 61 69 72 29 20 |ould be |a pair) |
|000049d0| 69 73 20 72 65 74 75 72 | 6e 65 64 2e 20 20 41 73 |is retur|ned. As|
|000049e0| 20 61 20 73 69 64 65 2d | 65 66 66 65 63 74 2c 0a | a side-|effect,.|
|000049f0| 74 68 65 20 63 64 72 20 | 6f 66 20 74 68 65 20 6c |the cdr |of the l|
|00004a00| 69 73 74 20 69 73 20 73 | 74 6f 72 65 64 20 62 61 |ist is s|tored ba|
|00004a10| 63 6b 20 69 6e 20 74 68 | 65 20 6c 6f 63 61 74 69 |ck in th|e locati|
|00004a20| 6f 6e 2e 0a 5c 62 65 67 | 69 6e 7b 63 6f 64 65 78 |on..\beg|in{codex|
|00004a30| 65 6e 76 7d 0a 20 20 20 | 20 5c 62 65 67 69 6e 7b |env}. | \begin{|
|00004a40| 74 61 62 75 6c 61 72 7d | 7b 6c 6c 6c 7d 0a 4c 20 |tabular}|{lll}.L |
|00004a50| 20 20 20 20 20 20 20 26 | 24 5c 4c 6f 6e 67 72 69 | &|$\Longri|
|00004a60| 67 68 74 61 72 72 6f 77 | 24 5c 20 26 20 20 28 32 |ghtarrow|$\ & (2|
|00004a70| 31 20 33 34 20 35 35 29 | 20 5c 5c 0a 28 50 4f 50 |1 34 55)| \\.(POP|
|00004a80| 20 4c 29 20 20 26 24 5c | 4c 6f 6e 67 72 69 67 68 | L) &$\|Longrigh|
|00004a90| 74 61 72 72 6f 77 24 5c | 20 26 20 20 32 31 20 5c |tarrow$\| & 21 \|
|00004aa0| 5c 0a 4c 20 20 20 20 20 | 20 20 20 26 24 5c 4c 6f |\.L | &$\Lo|
|00004ab0| 6e 67 72 69 67 68 74 61 | 72 72 6f 77 24 5c 20 26 |ngrighta|rrow$\ &|
|00004ac0| 20 20 28 33 34 20 35 35 | 29 0a 5c 65 6e 64 7b 74 | (34 55|).\end{t|
|00004ad0| 61 62 75 6c 61 72 7d 0a | 20 20 20 20 5c 65 6e 64 |abular}.| \end|
|00004ae0| 7b 63 6f 64 65 78 65 6e | 76 7d 0a 49 6e 20 67 65 |{codexen|v}.In ge|
|00004af0| 6e 65 72 61 6c 2c 0a 7b | 5c 74 74 20 5c 62 65 67 |neral,.{|\tt \beg|
|00004b00| 69 6e 7b 74 61 62 62 69 | 6e 67 7d 0a 28 50 4f 50 |in{tabbi|ng}.(POP|
|00004b10| 20 5c 3d 20 7b 5c 69 74 | 20 6c 6f 63 61 74 69 6f | \= {\it| locatio|
|00004b20| 6e 5c 2f 7d 29 20 20 24 | 5c 65 71 75 69 76 24 20 |n\/}) $|\equiv$ |
|00004b30| 20 20 5c 2b 20 5c 5c 0a | 20 20 28 42 4c 4f 43 4b | \+ \\.| (BLOCK|
|00004b40| 30 20 28 43 41 52 20 7b | 5c 69 74 20 6c 6f 63 61 |0 (CAR {|\it loca|
|00004b50| 74 69 6f 6e 5c 2f 7d 29 | 20 5c 3d 20 28 53 45 54 |tion\/})| \= (SET|
|00004b60| 20 7b 5c 69 74 20 6c 6f | 63 61 74 69 6f 6e 5c 2f | {\it lo|cation\/|
|00004b70| 7d 20 28 43 44 52 20 7b | 5c 69 74 20 6c 6f 63 61 |} (CDR {|\it loca|
|00004b80| 74 69 6f 6e 5c 2f 7d 29 | 29 29 20 5c 5c 0a 20 20 |tion\/})|)) \\. |
|00004b90| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00004ba0| 20 20 5c 3e 20 24 5c 65 | 71 75 69 76 24 20 20 20 | \> $\e|quiv$ |
|00004bb0| 5c 5c 0a 20 20 28 42 4c | 4f 43 4b 30 20 28 43 41 |\\. (BL|OCK0 (CA|
|00004bc0| 52 20 7b 5c 69 74 20 6c | 6f 63 61 74 69 6f 6e 5c |R {\it l|ocation\|
|00004bd0| 2f 7d 29 20 28 4d 4f 44 | 49 46 59 20 7b 5c 69 74 |/}) (MOD|IFY {\it|
|00004be0| 20 6c 6f 63 61 74 69 6f | 6e 5c 2f 7d 20 43 44 52 | locatio|n\/} CDR|
|00004bf0| 29 29 0a 5c 65 6e 64 7b | 74 61 62 62 69 6e 67 7d |)).\end{|tabbing}|
|00004c00| 7d 0a 5c 65 6e 64 7b 69 | 6e 73 65 74 7d 20 0a |}.\end{i|nset} . |
+--------+-------------------------+-------------------------+--------+--------+
